X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=TODO;h=e16216c677937047d0555223aa9e435e8884a595;hb=a6707cab2ede5adc59479d16000cb938b386db36;hp=da3937dec3f973f08b71e378cecd332bf9ae4266;hpb=ebb13d4d5ac786a976293136dc5258db2f189186;p=pintos-anon

diff --git a/TODO b/TODO
index da3937d..e16216c 100644
--- a/TODO
+++ b/TODO
@@ -1,11 +1,24 @@
 -*- text -*-
 
-* Remove names from synchronization primitives?  They don't seem
-  useful in practice.
+* Test pintos with GSX.
 
-* debug_backtrace() in kernel should only dereference valid pointers.
+* Need targets for checking single tests or single subdirs
 
-* Mention how to use add-symbol-file in gdb.
+  - `make check' should say how to get more information
+
+  - `make recheck', `make clean-check'
+
+* Need to put time limits on tests.
+
+* Add a way for students to prints messages ignored by the autograder.
+
+  - Ignore text between /* and */.
+
+  - Allow for a comment on `exit' lines?
+
+    . Get rid of LOAD_ERROR() macro by calling thread_exit() directly.
+
+* Improve automatic interpretation of exception messages.
 
 * We need better and more example programs.
 
@@ -42,10 +55,6 @@
   - Discuss the perils of mixing dirty bits between kernel and user virtual
     memory.
 
-  - Sample solution.
-
-  - Update grading/vm to reflect new mmap, munmap forms.
-
 * Filesys project:
 
   - Increase maximum disk size from 8 MB to something that actually
@@ -57,8 +66,6 @@
 
   - Add option to disable buffer cache.
 
-  - Sample solution.
-
   - Need a better way to measure performance improvement of buffer
     cache.  Some students reported that their system was slower with
     cache--likely, Bochs doesn't simulate a disk with a realistic
@@ -94,8 +101,6 @@
 
 * 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.