> > But most importantly, I really don't understand how it is possible to make a > patch to the Linux kernel and not release it under GPL. > If the patch is so ultimatively trivial that there is only a few solutions (one or two), then there is no use in gpl'ing that flock of patchcode, in which case I think, it is (or at best should be) public domain. In conjunction with the patched function, they will/should become GPL. Jan Engelhardt --