According to whom?<p>More accurately, some people <i>think</i> it is a GPL violation. 
There is no clear cut answer. You can get legal &quot;opinions&quot; either way.<p>My personal view is that it is NOT a GPL violation.
This is implied for reading the Linux source code, which explicitly <i>allows for non GPL kernel modules</i>.