#include <lunaix/block.h>
#include <lunaix/boot_generic.h>
-#include <lunaix/common.h>
#include <lunaix/exec.h>
#include <lunaix/foptions.h>
#include <lunaix/fs.h>
#include <lunaix/mm/pmm.h>
#include <lunaix/mm/valloc.h>
#include <lunaix/mm/vmm.h>
-#include <lunaix/peripheral/ps2kbd.h>
#include <lunaix/peripheral/serial.h>
#include <lunaix/spike.h>
#include <lunaix/syscall.h>
serial_init();
sdbg_init();
- // FIXME ps2 kbd is a device, must not be here
- ps2_kbd_init();
-
// console
console_start_flushing();
console_flush();