#include "kernel.h"
#include <arch.h>
#include <printf.h>

void kernel_main()
{
    arch_api.enable_interrupts();

    printf("Welcome to nub OS :)\n");
    printf("Kernel has exited\n");
    arch_api.halt();
}