Hallo Ingo,
Ich konnte ja nicht wissen, dass Linux die Kernel ist und nicht das Betriebssystem. :)
Linux *ist* das Betriebssystem [...]
Nein. Linux ist kein Betriebssystem, Linux bezeichnet nur den Kernel. Erst durch z. B. die
GNU Tools wird das ganze zu einem Betriebssystem.
Grüße,
CK