commit 979c5686b7a0960e599916f93ea06476e9f25764
parent ac090078c63c9b467fd723f6bb7f949c05e9b04b
Author: Robert Morris <rtm@nephron.lcs.mit.edu>
Date: Mon, 30 Aug 2010 10:23:27 -0400
Merge remote branch 'origin/page' into page
Diffstat:
2 files changed, 2 insertions(+), 0 deletions(-)
diff --git a/runoff.list b/runoff.list
@@ -21,6 +21,7 @@ spinlock.c
proc.h
proc.c
swtch.S
+vm.c
kalloc.c
vm.c
diff --git a/runoff.spec b/runoff.spec
@@ -27,6 +27,7 @@ even: proc.h # mild preference
right: proc.c # VERY important
# setjmp.S either
+# vm.c either
# kalloc.c either
# syscall.h either