+ // crt
+ tty_init(ioremap(VGA_FRAMEBUFFER, PG_SIZE));
+ tty_set_theme(VGA_COLOR_WHITE, VGA_COLOR_BLACK);
+
+ // file system & device subsys
+ vfs_init();
+ fsm_init();
+ input_init();
+
+ vfs_export_attributes();
+
+ lxconsole_init();
+
+ if ((errno = vfs_mount_root("ramfs", NULL))) {
+ panickf("Fail to mount root. (errno=%d)", errno);
+ }
+
+ vfs_mount("/dev", "devfs", NULL, 0);
+ vfs_mount("/sys", "twifs", NULL, MNT_RO);
+ vfs_mount("/task", "taskfs", NULL, MNT_RO);
+
+ lxconsole_spawn_ttydev();
+ device_init_builtin();
+
+ syscall_install();
+