Abort vminit for now Minor hack, sorry.
diff --git a/kern/drivers/dev/vm.c b/kern/drivers/dev/vm.c index 817e59d..a0a8bf1 100644 --- a/kern/drivers/dev/vm.c +++ b/kern/drivers/dev/vm.c
@@ -229,6 +229,7 @@ static void vminit(void) { + return; print_func_entry(); int i; spinlock_init_irqsave(&vmlock);