kern_main.c (404B)
1 #include <libc.h> 2 #include "kbd.h" 3 #include "idt.h" 4 #include "io.h" 5 #include "timer.h" 6 #include "vm_page.h" 7 #include "vga.h" 8 9 /* TODO: make kset/unsetenv */ 10 /* TODO: make device framework */ 11 /* TODO: add a config */ 12 /* TODO: make sysctl */ 13 void 14 kern_main(void) 15 { 16 vga_clear(VGA_BLACK, VGA_WHITE); 17 idt_init(); 18 vm_page_init(); 19 20 timer_init(); 21 kbd_init(); 22 23 sti(); 24 25 /* Off to userland! */ 26 for (;;); 27 }