From: Ben Pfaff <blp@cs.stanford.edu>
Date: Wed, 15 Sep 2004 06:42:25 +0000 (+0000)
Subject: Update.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=d3f8a4725a50e0df1b83612acbeafc136b42a4aa;p=pintos-anon

Update.
---

diff --git a/src/TODO b/src/TODO
index ea68122..0dae14b 100644
--- a/src/TODO
+++ b/src/TODO
@@ -10,7 +10,9 @@
   - PE linker scripts?  Doesn't seem to support ELF ones.
   - .S files need _ prefixes on symbols.
 
-* Add Solaris support to serial.cc.
+* Implement `jitter'.
+
+* Compile and install gdb, dbg versions.
 
 * Cross-compile notes: