Jeroen Dekkers jeroen@dekkers.cx wrote:
I don't like the phrase "The Linux kernel". It's a pleonasm, it implies that Linux is more than a kernel and that you're talking about just the kernel of the bigger thing, which clearly isn't the case.
Please, do not get me started on this. Talking of "the Linux kernel" is no different to talking about "the Hurd kernel system" (I guess the extra word is required). After all, saying "Linux" or "Hurd" on its own is only meaningful on its own if you know that it is a kernel.