From: Ben Pfaff 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=0a5718e00eaeecb10e348bbf8bac382e9e68748f;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.