#include <stddef.h>

void kernel_main(void) {
    volatile char *video = (volatile char*) 0xB8000;

    const char *msg = "LiteOS kernel started";

    for (size_t i = 0; msg[i] != '\0'; i++) {
        video[i * 2] = msg[i];
        video[i * 2 + 1] = 0x07; // світло-сірий текст
    }

    while (1) {
        __asm__("hlt");
    }
}