- int errno = 0;
- if ((errno = vfs_mount_root("ramfs", NULL))) {
- panickf("Fail to mount root. (errno=%d)", errno);
- }
+ must_success(vfs_mount_root("ramfs", NULL));
+ must_success(vfs_mount("/dev", "devfs", NULL, 0));
+
+ invoke_init_function(call_on_boot);
+
+ must_success(vfs_unmount("/dev"));