Update.

diff --git a/TODO b/TODO
index 7c9c42b841e0c2f820c789c315eb17f8491d751a..37899a08b19694f1a2754605d72e1b2438a98ffe 100644 (file)
--- 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