#include <hal/acpi/acpi.h>
#include <hal/intc.h>
-#include <hal/pci.h>
#include <sys/abi.h>
#include <sys/interrupts.h>
/* Prepare stack trace environment */
trace_modksyms_init(bhctx);
+ device_register_all();
+
// crt
tty_init(ioremap(0xB8000, PG_SIZE));
tty_set_theme(VGA_COLOR_WHITE, VGA_COLOR_BLACK);
/* Let's get fs online as soon as possible, as things rely on them */
vfs_init();
fsm_init();
- input_init();
/* Get intc online, this is the cornerstone when initing devices */
intc_init();
+ input_init();
+ device_earlystage();
+
/* System timing and clock support */
clock_init();
timer_init();
+ device_timerstage();
+
block_init();
/* the bare metal are now happy, let's get software over with */
vfs_mount("/sys", "twifs", NULL, MNT_RO);
vfs_mount("/task", "taskfs", NULL, MNT_RO);
- lxconsole_spawn_ttydev();
- device_init_builtin();
-
/* Finish up bootstrapping sequence, we are ready to spawn the root process
* and start geting into uspace
*/