X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=TODO;h=15902a2cd3db19fd7e77209b9d82127190a96759;hb=2f3628001838a081d81429d658af350c7054078e;hp=31606d182661ee33ae3ceefb616355d5f7daac19;hpb=bc0cc9ec385f55e8dee745f55e25d98908255636;p=pintos-anon

diff --git a/TODO b/TODO
index 31606d1..15902a2 100644
--- a/TODO
+++ b/TODO
@@ -1,11 +1,5 @@
 -*- text -*-
 
-* Miscellaneous:
-
-  - 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:
 
   - Move `join' implementation here, from `threads' project, to help