removing fluff that is not yet needed

kernel.c

@@ -1,16 +0,0 @@
-#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
-}
-
-// called by the loader to do lots of fun things
-void kmain() {
-}
-

kernel.h

@@ -1,8 +0,0 @@
-#include "types.h"
-#include "interrupts.h"
-
-
-// handles the main initialization things for the main kernel routine later on
-u32 kinit();
-
-void kmain();