#include <sdbg/protocol.h>
-#include <hal/pci.h>
-
#include <klibc/string.h>
LOG_MODULE("PROC0")
__VERSION__,
__TIME__);
- twifs_register_plugins();
+ device_poststage();
- /*
- * all device registering and loading must defered to here!
- * due to limited stack size and partial scheduling context
- */
- pci_load_devices();
+ twifs_register_plugins();
- // debugger
- serial_init();
- sdbg_init();
+ // FIXME Re-design needed!!
+ // sdbg_init();
// console
console_start_flushing();