diff options
2 files changed, 0 insertions, 3 deletions
@@ -87,8 +87,6 @@ main0(void) cprintf("loaded userfs\n"); scheduler(); - - return 0; } // Additional processors start here. @@ -1,7 +1,6 @@ #include "types.h" #include "mp.h" #include "defs.h" -#include "memlayout.h" #include "param.h" #include "x86.h" #include "traps.h" |