diff options
| author | sotech117 <michael_foiani@brown.edu> | 2024-05-14 03:19:46 +0000 |
|---|---|---|
| committer | sotech117 <michael_foiani@brown.edu> | 2024-05-14 03:19:46 +0000 |
| commit | 06d50155ac0bd079bfca0f5728346d8beeb205f2 (patch) | |
| tree | 2f20c8ba099304d6ea06fb76e8a0807b8afa5a5f /kernel/main/kmain.c | |
| parent | 7585cb5ad84babe9db8c6595de464e33fb878f0c (diff) | |
weenix fixes
Diffstat (limited to 'kernel/main/kmain.c')
| -rw-r--r-- | kernel/main/kmain.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/kernel/main/kmain.c b/kernel/main/kmain.c index e16d08e..c835275 100644 --- a/kernel/main/kmain.c +++ b/kernel/main/kmain.c @@ -170,8 +170,8 @@ static void *initproc_run(long arg1, void *arg2) // dbg(DBG_PROC, "%s", "In main thread!\n"); - char *argv[2] = {"init", NULL}; - char *envp[1] = {NULL}; + char *const argv[] = {NULL}; + char *const envp[] = {NULL}; kernel_execve("/sbin/init", argv, envp); #ifdef __DRIVERS__ |