kern_main.c (457B)
1 #include "libk.h" 2 3 #include "kbd.h" 4 #include "idt.h" 5 #include "cpufunc.h" 6 #include "timer.h" 7 #include "vga.h" 8 9 /* 10 * TODO 11 * 12 * CATCH UP! 13 * 14 * make kset/unsetenv 15 * make device driver framework 16 * add a config file (?) 17 * fix kbd 18 * Makefiles 19 * fix pending TODOs, XXXs and FIXMEs 20 * remove useless stuff 21 */ 22 void 23 kern_main(void) 24 { 25 vga_clear(VGA_BLACK, VGA_WHITE); 26 idt_init(); 27 28 timer_init(); 29 kbd_init(); 30 31 sti(); 32 33 /* Off to userland! */ 34 for (;;); 35 }