"Hello world" kernel