From ae618a0c6838359849c7be863c16f512c8bd3a2b Mon Sep 17 00:00:00 2001
From: Balazs Gerofi <bgerofi@riken.jp>
Date: Tue, 22 Nov 2016 13:22:19 +0900
Subject: [PATCH] mcexec: remount /proc in mcexec's file NS after exec()

---
 executer/user/mcexec.c | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)

diff --git a/executer/user/mcexec.c b/executer/user/mcexec.c
index 199d9d4f..955fb6b5 100644
--- a/executer/user/mcexec.c
+++ b/executer/user/mcexec.c
@@ -2422,6 +2422,23 @@ return_execve1:
 
 					ret = 0;
 return_execve2:					
+#ifdef ENABLE_MCOVERLAYFS
+				{
+					struct sys_mount_desc mount_desc;
+
+					mount_desc.dev_name = NULL;
+					mount_desc.dir_name = "/proc";
+					mount_desc.type = NULL;
+					mount_desc.flags = MS_REMOUNT;
+					mount_desc.data = NULL;
+					if (ioctl(fd, MCEXEC_UP_SYS_MOUNT,
+								(unsigned long)&mount_desc) != 0) {
+						fprintf(stderr,
+								"WARNING: failed to remount /proc (%s)\n",
+								strerror(errno));
+					}
+				}
+#endif
 					do_syscall_return(fd, cpu, ret, 0, 0, 0, 0);
 					break;