Linux je jen obchodní značka a Linuxem je cokoli tím označíte. A patvary typu "GNU/Linux" já osobně podporovat nehodlám. Navíc samozvané definice, které jsou nepravdivé si nechte pro sebe.
I na wikipedii máte psáno, že Linux je "operační systém unixového typu, který používá linuxové jádro" - takže Vaše domněnky, že je to jméno jádra si nechte laskavě od cesty. Linuxové jádro se nenazývá Linuxem, ale "Linux kernelem". Stejně tak pojmenování GNU/Linux byl zoufalý pokus stvořit pojmenování, které se neujalo, stejně tak jako se nujalo říkat kapesníku "čistonosoplena" a dále zoufalá snaha Stallmana o zviditelnění se.
Na www.linux.org najdete: "What is Linux?" (žádné GNU/Linux): "Linux is a free Unix-type operating system originally created by Linus Torvalds with the assistance of developers around the world." - takže zase se nemluví o kernelu.
Mimochodem s pojmenováním GNU/Linux si nebere za své ani Linus Torvalds (a mám pocit, že on jakožto majitel obchodní značky Linux má výhradní právo určovat si jak se bude jmno Linux používat) a jeho názor: "...but calling Linux in general "GNU Linux" I think is just ridiculous". A k vyjádření ohledně brusičů jazyka trvajícím na jméně GNU/Linux se Linus Torvalds vyjádřil: "Personally, I'll very much continue to call it "Linux"."
Takže Vaše názory na to, co je Linux a jak ho pojmenovávat nejsou podložené a jsou dokonce v rozporu s Linusem Torvaldsem.