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 and must be GPL-compatible. 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