nub-os/src/kernel.c

#include "vga.h"

void kernel_main(void)
{
    vga_reset();
    vga_print("Welcome to nub OS\n");
}