- /*
- * all device registering and loading must defered to here!
- * due to limited stack size and partial scheduling context
- */
- pci_load_devices();
-
- // debugger
- serial_init();
- sdbg_init();
-
- // FIXME ps2 kbd is a device, must not be here
- ps2_kbd_init();