From fc3f3432c1e80dd777aae56d565d9d6120a878f0 Mon Sep 17 00:00:00 2001 From: Ben Pfaff Date: Wed, 25 May 2005 04:29:09 +0000 Subject: [PATCH] Update. --- TODO | 7 ------- 1 file changed, 7 deletions(-) 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 -- 2.30.2