The generally accepted (but not well tested) legal position is that it's ok to have a proprietary kernel module that is dynamically loaded.
You can, for instance, ask a running kernel if it is "tainted" by having loaded a non-GPL module.
You can, for instance, ask a running kernel if it is "tainted" by having loaded a non-GPL module.
I can, considering that you can do that from user space using strace. Or ebpf which is probably the actual right way to do this kind of thing.