> Example, what powers DGX OS isn't fully available to GNU/Linux users other than a binary blob.

What do you mean? Are they violating the GPL by not releasing the modified source?

Most of their stuff isn't GPL anyway, hence why drivers are mostly in userspace.