X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=TODO;h=726b11801f8e53185edc813ce1cd37d7bbf95d10;hb=9ec0697172ed4dbe1b65acb6f8c5cb30f5a9688a;hp=3d3207cbe93329bf20d6826e2517651b565323bc;hpb=4ebf33908a571a7cde93fe618902b044e3633cdf;p=pintos-anon

diff --git a/TODO b/TODO
index 3d3207c..726b118 100644
--- a/TODO
+++ b/TODO
@@ -1,20 +1,11 @@
 -*- text -*-
 
-* Put time limits on tests.
+* Get rid of rox--causes more trouble than it's worth
 
-* `make grade'
-
-* We need better and more example programs.
-
-  - Need an mmap example program as a replacement for the crappy mmap FAQ
-    question.
-
-* Give advice on how to use `diff' to find out what has changed
+* Reconsider command line arg style--confuses everyone.
 
 * pintos script doesn't (always?) delete temp disks
 
-* GNU make 3.80 or later is required.
-
 * Finish writing tour.