diff options
| -rw-r--r-- | main.c | 2 | ||||
| -rw-r--r-- | mp.c | 1 | 
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" | 
