25 lines
419 B
C
25 lines
419 B
C
#include "kernel.h"
|
|
#include "types.h"
|
|
#include "interrupts.h"
|
|
#include "gdt.h"
|
|
#include "pit.h"
|
|
#include "kbd.h"
|
|
#include "stlio.h"
|
|
#include "mem.h"
|
|
#include "tests.h"
|
|
|
|
void kinit() {
|
|
//gdt_configure();
|
|
init_idt();
|
|
pit_install_timer();
|
|
kbd_install_keyboard();
|
|
test_dispatcher();
|
|
}
|
|
|
|
|
|
// Should kmain return, we fall back to the loader which then just keeps in a hung state
|
|
void kmain() {
|
|
kinit();
|
|
test_read();
|
|
}
|