- kprintf(KINFO "[MM] Allocated %d pages for stack start at %p\n",
- KSTACK_SIZE >> PG_SIZE_BITS,
- KSTACK_START);
+ device_init();
+
+ if ((errno = vfs_mount_root("ramfs", NULL))) {
+ panickf("Fail to mount root. (errno=%d)", errno);
+ }
+
+ // FIXME replace with more specific fs for device.
+ vfs_mount("/dev", "twifs", NULL);
+
+ lxconsole_init();