Über die Namensgebung lässt sich wahrlich streiten, wie Sie sehen. Ich bevorzuge in Bezug auf linuchsbasierte Betriebssysteme die Bezeichnung GNU/Linuchs, da mir diese technisch korrekter erscheint. Wie Sie in dem zitiertem Artikel lesen können, besteht ein solches Betriebssystem sowohl aus Linuchs, dem Kern, als auch der GNU-Weichware. 