From: Ben Pfaff 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