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

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


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