#include "../include/drivers/video/vga.h"
#include <string.h>

void
kernel_main(void)
{
        term_init();

        term_writestr("Hello World!\n");
}