kernel.c (338B)
1 #include "extern.h" 2 #include "idt.h" 3 #include "kbd.h" 4 #include "timer.h" 5 6 void 7 kernel_main(void) 8 { 9 tty_init(); 10 idt_init(); 11 timer_init(50); 12 kbd_init(); 13 /* Enable interrupts so that the IRQs can work now. */ 14 __asm__ __volatile__ ("sti"); 15 tty_write("Nothing to see here yet. At least it booted.\n"); 16 __asm__ __volatile__ ("hlt"); 17 }