[weinzierl]

This is interesting, thanks. So the Linux kernel contains essentially non-free code that is, despite being under GPL, in effect not usable by others because of patents.