From f4ba7b0e50cd0647f452ab1b0317e46d3f5cafdc Mon Sep 17 00:00:00 2001
From: "K. Lange" <klange@toaruos.org>
Date: Fri, 8 Jun 2018 13:46:10 +0900
Subject: [PATCH] Have migrate mount a dummy tmpfs to /dev/base because we
 don't have an option to unmount

---
 apps/migrate.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/apps/migrate.c b/apps/migrate.c
index 6241bbb6..5fba767b 100644
--- a/apps/migrate.c
+++ b/apps/migrate.c
@@ -199,6 +199,7 @@ int main(int argc, char * argv[]) {
 
 	TRACE("Migrating root...");
 	copy_directory("/dev/base","/",0660);
+	system("mount tmpfs x /dev/base");
 
 	if (strstr(root, "/dev/ram") != NULL) {
 		char * tmp = strdup(root);