From f077699e3c77321235c007ec7e47e066ed55ca68 Mon Sep 17 00:00:00 2001
From: sotech117 <michael_foiani@brown.edu>
Date: Wed, 15 May 2024 01:15:00 +0000
Subject: s5 fixes!

---
 kernel/main/kmain.c | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'kernel/main/kmain.c')

diff --git a/kernel/main/kmain.c b/kernel/main/kmain.c
index c835275..c4b64b4 100644
--- a/kernel/main/kmain.c
+++ b/kernel/main/kmain.c
@@ -170,9 +170,11 @@ static void *initproc_run(long arg1, void *arg2)
 
     // dbg(DBG_PROC, "%s", "In main thread!\n");
 
+#ifdef __VM__
     char *const argv[] = {NULL};
     char *const envp[] = {NULL};
     kernel_execve("/sbin/init", argv, envp);
+#endif
 
 #ifdef __DRIVERS__
     // driverstest_main(0, NULL);
-- 
cgit v1.2.3-70-g09d2