From: Ben Pfaff <blp@cs.stanford.edu>
Date: Thu, 16 Sep 2004 00:53:04 +0000 (+0000)
Subject: Update.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=2459d17f047ac600f4c3ef7fb5aad156996ec3c0;p=pintos-anon

Update.
---

diff --git a/src/TODO b/src/TODO
index 0dae14b..67813b3 100644
--- a/src/TODO
+++ b/src/TODO
@@ -1,5 +1,3 @@
-* malloc() needs to block until memory is available?
-
 * Should we use a task gate for hardware interrupts?  Then we could
   dedicate a stack to interrupt handling and not worry about interrupt
   usage of kernel stacks.
@@ -13,6 +11,7 @@
 * Implement `jitter'.
 
 * Compile and install gdb, dbg versions.
+  - Test gdb version.
 
 * Cross-compile notes: