Bare for å være pirkete. Heter det ikke kernel og ikke linux?