Possibly, but what about the license of Linux? Surely nvidia.ko (being a derived work of both the GPL-licensed Linux kernel and the proprietary NVIDIA kernel object files) is non-distributable? Otherwise why does every other distribution faff around with akmods/DKMS, etc?
