diff options
| author | Michael Foiani <mfoiani@cs.brown.edu> | 2024-05-15 00:38:32 -0400 |
|---|---|---|
| committer | Michael Foiani <mfoiani@cs.brown.edu> | 2024-05-15 00:38:32 -0400 |
| commit | bf9a10ff2710ff088a94586df8756741db67bb0c (patch) | |
| tree | 1392a8c90e5e2a0a508f019baa9a279a0f1039c8 /kernel/main/kmain.c | |
| parent | c9eb0848a356cd7c32d7f4be389c964f9d568434 (diff) | |
add autograder tests
Diffstat (limited to 'kernel/main/kmain.c')
| -rw-r--r-- | kernel/main/kmain.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/kernel/main/kmain.c b/kernel/main/kmain.c index c4b64b4..77955d0 100644 --- a/kernel/main/kmain.c +++ b/kernel/main/kmain.c @@ -33,6 +33,7 @@ #include "fs/vnode.h" #include "test/driverstest.h" +#include "test/vmtest.h" GDB_DEFINE_HOOK(boot) @@ -171,6 +172,8 @@ static void *initproc_run(long arg1, void *arg2) // dbg(DBG_PROC, "%s", "In main thread!\n"); #ifdef __VM__ + vmtest_main(0, NULL); + char *const argv[] = {NULL}; char *const envp[] = {NULL}; kernel_execve("/sbin/init", argv, envp); |