extern (C) void mykernel_main() {
    ubyte * vidmem = cast(ubyte *) 0xB8000u;
    vidmem[0] = 'D';
    vidmem[1] = 0x7u;
}