- kprintf(KINFO "[MM] Allocated %d pages for stack start at %p\n",
- KSTACK_SIZE >> PG_SIZE_BITS,
- KSTACK_START);
+ tty_init(ioremap(VGA_FRAMEBUFFER, PG_SIZE));
+ tty_set_theme(VGA_COLOR_WHITE, VGA_COLOR_BLACK);
+
+ vfs_init();
+ fsm_init();
+ input_init();
+
+ vfs_export_attributes();
+
+ 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_init();