diff options
| author | sotech117 <michael_foiani@brown.edu> | 2024-05-15 01:15:00 +0000 |
|---|---|---|
| committer | sotech117 <michael_foiani@brown.edu> | 2024-05-15 01:15:00 +0000 |
| commit | f077699e3c77321235c007ec7e47e066ed55ca68 (patch) | |
| tree | 48a3322ed6d363dbd2155d8e19470797301a8d77 /kernel/main/kmain.c | |
| parent | 53b54f664ed2b4630c23cacc9e216a6a5935b57f (diff) | |
s5 fixes!
Diffstat (limited to 'kernel/main/kmain.c')
| -rw-r--r-- | kernel/main/kmain.c | 2 |
1 files changed, 2 insertions, 0 deletions
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); |