#include <hal/acpi/acpi.h>
#include <hal/intc.h>
-#include <hal/pci.h>
#include <sys/abi.h>
#include <sys/interrupts.h>
#include <sys/mm/mempart.h>
-#include <klibc/stdio.h>
+#include <klibc/strfmt.h>
#include <klibc/string.h>
extern void
/* Prepare stack trace environment */
trace_modksyms_init(bhctx);
+ device_scan_drivers();
+
// crt
tty_init(ioremap(0xB8000, PG_SIZE));
tty_set_theme(VGA_COLOR_WHITE, VGA_COLOR_BLACK);
/* Get platform configuration */
acpi_init();
+ /* Get intc online, this is the cornerstone when initing devices */
+ intc_init();
+
+ /*
+ TODO autoload these init function that do not have dependency between
+ them
+ */
+
/* Let's get fs online as soon as possible, as things rely on them */
vfs_init();
fsm_init();
input_init();
+ block_init();
+ sched_init();
- /* Get intc online, this is the cornerstone when initing devices */
- intc_init();
+ device_earlystage();
/* System timing and clock support */
- clock_init();
- timer_init();
+ /*
+ FIXME we must get timer as earlier as possible
- block_init();
+ A decoupling between rtc and general device sub-sys is needed.
+ Otherwise we timer can only be loaded after device_earlystage.
+
+ We need a dedicated timer&clock subsystem
+ */
+ timer_init();
/* the bare metal are now happy, let's get software over with */
- sched_init();
int errno = 0;
if ((errno = vfs_mount_root("ramfs", NULL))) {
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
*/