NVIDIA developer Robert Morell has proposed removing a marker for the Linux kernel’s GPL licence from a Linux kernel driver interface, apparently in order to permit the use of the interface with proprietary drivers. A discussion thread on the topic has seen several key kernel developers express clear opposition to the proposal and debate over which developers would have to consent to such a change.