From fc84aa3954b68a36740f78c3fed89e22db93354a Mon Sep 17 00:00:00 2001 From: Leah Neukirchen Date: Thu, 27 Jan 2022 21:21:48 +0100 Subject: linux: don't mount /proc, we don't need it --- rvnit.c | 4 ---- 1 file changed, 4 deletions(-) diff --git a/rvnit.c b/rvnit.c index 274eeda..268013a 100644 --- a/rvnit.c +++ b/rvnit.c @@ -648,10 +648,6 @@ void init_mount() { #ifdef __linux__ LOG("init_mount"); - if (!mounted("/proc")) { - LOG("mounting /proc"); - mount("proc", "/proc", "proc", MS_NOSUID|MS_NOEXEC|MS_NODEV, ""); - } if (!mounted("/run")) { LOG("mounting /run"); mount("run", "/run", "tmpfs", MS_NOSUID|MS_NODEV, "mode=0755"); -- cgit 1.4.1