New comment by r-ricci on void-packages repository https://github.com/void-linux/void-packages/pull/45365#issuecomment-1664749800 Comment: Technically yes, legally I don't know. Did you read ? By marking a symbol as GPL-only kernel developers explicitly say they consider it an internal interface. Modules using internal interfaces are considered derivative works of the kernel and must be GPL. Can you circumvent this limitation on your own machine without redistributing? Yes. Can you distribute a module that is patched to circumvent this limitation? Probably not. Can you distribute a patched kernel which exports all symbols as regular ones? I have no idea. It's code, so the license allows that. It's also a legal statement, so the law and the license forbid that. Can you distribute a script which is automatically executed on the user's machine with the only purpose of circumventing the limitation? I have no idea. In theory yes, but > the law isn't a blind and mindless computer that takes what you say literally. Intent matters a LOT