Hi,
Ich konnte ja nicht wissen, dass Linux die Kernel ist und nicht das Betriebssystem. :)
Linux *ist* das Betriebssystem und natürlich auch _der_ Kernel des Betriebssystems.
Oder was denkst Du, welches Betriebssystem Du ansonsten installiert hättest?
freundliche Grüße
Ingo