Dubbelop of niet, 'Linux kernel' wordt wel gebruikt op
www.linux.org,
www.linuxhq.com, in de kernel documentatie,
www.kernel.org,
Linux Magazine en zelfs door
Linus himself:
LT: If they think they can do that, then by all means, they should go ahead. That's where competition comes in; the best wins. Competition is good as long as it's honest, and you don't kick the other person in the groin in order to win. I'm confident enough that it's going to be the open source Linux kernel that's going to be the best. But I don't care if somebody else tries to compete.
(ik geef toe, dat het geen letterlijke weergave hoeft te zijn van wat Linus zelf gezegd heeft).
Het is overigens wel een kwestie van interpretatie... Wat is Linux? In de kernel zelf zitten namelijk ook heeeeel veel stukjes die helemaal niet door Linus en co. zijn geschreven, maar die toegevoegd zijn aan de kernel (vooral drivers).
En als ipchains speciaal is geschreven voor de Linux kernel, is het dan geen Linux?

En hoe zit het met de Linux specifieke Raidtools?
Maar goed, 't is verder ook niet zo belangrijk, ben wel benieuwd wanneer de uiteindelijke versie van 2.4.3 uitkomt...