#include <types.h>
void
sysinit(void)
{
char *howdy = "Om Smart";
vga_clearscreen();
vga_write(howdy, strlen(howdy), 0x1f);
}