From: Ben Pfaff <blp@cs.stanford.edu>
Date: Wed, 25 May 2005 04:29:09 +0000 (+0000)
Subject: Update.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=fc3f3432c1e80dd777aae56d565d9d6120a878f0;p=pintos-anon

Update.
---

diff --git a/TODO b/TODO
index 7c9c42b..37899a0 100644
--- a/TODO
+++ b/TODO
@@ -2,8 +2,6 @@
 
 * Test pintos with GSX.
 
-* Get rid of warnings for NDEBUG build.
-
 * Need targets for checking single tests or single subdirs
 
   - `make check' should say how to get more information
@@ -20,13 +18,8 @@
 
 * Improve automatic interpretation of exception messages.
 
-* Remove names from synchronization primitives?  They don't seem
-  useful in practice.
-
 * debug_backtrace() in kernel should only dereference valid pointers.
 
-* Mention how to use add-symbol-file in gdb.
-
 * We need better and more example programs.
 
   - Need an mmap example program as a replacement for the crappy mmap FAQ