That&#x27;s not how that GPL works. To be precise, although there might be a (very small) chance that a court has found or will find that software running in user space is a derived work of the kernel, that finding would not apply to <i>Linux</i>&#x27;s user space because Linus declared (in the 1990s) that the conditions of Linux&#x27;s license do not apply to user space.<p>Tivo was one of the first owners of proprietary software to test this area of the law: their devices ran Linux, but they never had to publish the source code for the software on their devices that ran in user space.<p>The distributors of RemixOS <i>would</i> have to publish the source code to any changes they make to the kernel itself, but someone else in the comments says they have made none.