Linux isn't purely GPL; it's GPL with an exception carved out for system calls.

I think that's an important distribution, because the userspace equivalent would be GPL with an exception carved out for dynamic linking (i.e. the LGPL).