void isr(int num);
void k_init();

void k_init()
{
	char *vidmem = (char *) 0xB8000;
	char welcome[] = "Welcome to HOS kernel. You are now in protected mode.";
	char *chrptr = welcome;
	while (*chrptr != 0)
	{
		*vidmem++ = *chrptr++;
		*vidmem++ = 15;
	}

}

void isr(int num)
{

}