* userprog project should mark read-only pages as actually read-only
in the page table
+
+* Add src/testcases/vm, src/testcases/filesys and make it clear to use
+ them?
+
+* Speed up disk routines: filling an 8 MB disk takes a long time.
+
+* Not sure that raw arc4 should really be used so much in the tests.
+ Any reason not to use random_bytes()?
+
+* Grading script patches needed anymore?