add linker and vga driver, working hello, world

[tigris.git] / stage1 / kernel.c

#include "kernel.h"

kmain ()
{
    vini ();
    vput ("hello, world");
    vput ("!\n:D");
}