#include "types.h"
#include "tests.h"
#include "gdt.h"
#include "kernel.h"

void kinit() {
	gdt_configure();
	test_dispatcher();
}


void kmain() {
	kinit();
	for(;;); // the most amazing loop
}