True, but we were not discussing general GPL violations.<p>But specifically the murkiness of the binary kernel module &#x27;exceptions&#x27; (or if they are not actually derivative works in the first place, and thus not really &#x27;exceptions&#x27;, but rights).  That&#x27;s what &#x27;this issue&#x27; refers to above.