#include "k_defines.h"

void isr(dword num);
void k_init();

//Main kernel initialization method
void k_init()
{
	for (;;)
	{
		(*(byte *)0xc00b8000)++;
	}
}

void isr(dword num)
{

}