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

GDT GDT_PTR;
GDT _GDT[6]; 	// because there are only 6 segments we care about

u32 kinit() {
	init_segment_selectors(); 	// found in gdt.s
}
void kmain() {
}