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

void kinit() {
	printf("setting up gdt\n");
	gdt_configure();
	printf("setting idt\n");
	init_idt();
	test_dispatcher();
}


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