[Discussioni] Sul marchio "linux"

[Marco Bertorello]

Nicola A. Grossi ha scritto:

> Infatti linux non è un sistema operativo e il kernel si chiama GNU/Linux. 

Facciamo che il sistema operativo si chiama GNU e linux è solo *uno dei* 
suoi kernel?

Nei casi in cui il kernel del sistema GNU sia linux, si parla di 
GNU/Linux, ma può benissimo essere GNU/OpenSolaris, GNU/Hurd, ecc...

ciao,

-- 
Marco Bertorello
System Administrator
http://bertorello.ns0.it