From: Ben Pfaff <blp@cs.stanford.edu>
Date: Tue, 21 Sep 2004 02:49:40 +0000 (+0000)
Subject: Update.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=38d8e6df4c2ecb2000a8bfbfdd4f9640b89f4673;p=pintos-anon

Update.
---

diff --git a/src/TODO b/src/TODO
index 38834e8..f44e1f1 100644
--- a/src/TODO
+++ b/src/TODO
@@ -2,12 +2,8 @@
   each one by 16 bytes and are probably not that useful.
   Alternatively make the names pointers?
 
-* pagedir.[ch] needs comments.
-
 * Write, test VM.
 
-* Implement `jitter'.
-
 * Test list, hash ADTs.
 
 * Compile and install gdb, dbg versions.