#include "idt.h"
#include "vga.h"

void kernel_main(void)
{
    vga_clear();

    idt_init();

    vga_print("Welcome to nub OS\n");

    int x = 1 / 0;
}