kornos/kernel/src/arch/i386/ops.c

void halt_catch_fire() {
    asm volatile ("cli");
    while(1) asm volatile ("hlt");
}

const char *arch = "i386";