---

cd ~/XirexOS && cat > src/kernel.c <<'EOF'
#include <stdint.h>

void kmain(void)
{
    volatile uint16_t* vga = (uint16_t*)0xB8000;

    const char* text = "Xirex OS starting...";

    for (int i = 0; text[i] != '\0'; i++) {
        vga[i] = ((uint16_t)0x0F << 8) | text[i];
    }

    for (;;) {
        __asm__ volatile ("hlt");
    }
}
EOF