/*
 * kos.c -- starting point for student's os.
 * 
 */
#include <stdlib.h>

#include "simulator.h"
#include "scheduler.h"

void KOS()
{
	printf("booting KOS!\n");
	SYSHalt();
	
	/* not reached .. */
}