+ - Add "Digging Deeper" sections that describe the nitty-gritty x86
+ details for the benefit of those interested.
+
+ - Add explanations of what "real" OSes do to give students some
+ perspective.
+
+* Assignments:
+
+ - Add extra credit:
+
+ . Low-level x86 stuff, like paged page tables.
+
+ . Other good ideas.
+
+ - mmap/munmap should use segment IDs like Nachos. Too hard
+ otherwise.
+
+ - Add src/testcases/vm, src/testcases/filesys and make it clear to use
+ them?
+
+* Tests:
+
+ - Release some of them.
+
+ - The threads, userprog, vm test source files could use
+ factorization and cleanup along the lines of fslib in the filesys
+ tests.
+
+ - The p1-4.c testcase needs significant tuning. Currently it takes
+ too long (especially when SHOW_PROGRESS is turned on) and doesn't
+ show significant improvement.