various little fixes that should have been in earlier checkins

1 files changed, 0 insertions, 2 deletions

diff --git a/main.c b/main.c
index 7606adc..39c11dc 100644
--- a/main.c
+++ b/main.c
@@ -87,8 +87,6 @@ main0(void)
   cprintf("loaded userfs\n");
 
   scheduler();
-
-  return 0;
 }
 
 // Additional processors start here.