Update.

[pintos-anon] / TODO

diff --git a/TODO b/TODO
index a027d61d168b6b237d7ee6f13d01e32268460287..31606d182661ee33ae3ceefb616355d5f7daac19 100644 (file)
--- a/TODO
+++ b/TODO
@@ -1,14 +1,10 @@
 -*- text -*-
 
-* Clean up:
+* Miscellaneous:
 
-  - Replace AT&T assembly code by Intel assembly so that students can
-    figure out the asm from the Intel manuals.  Compare object files
-    before and after to make sure nothing changed.
-
-* Grader:
-
-  - Fix bug where failures are being treated as warnings.
+  - Currently the `pintos' utility has a broken return code policy: it
+    returns 1 to indicate success.  It inherited this mistake from
+    Bochs, which does something similar.  This needs to be fixed.
 
 * Userprog project: