From: Ben Pfaff <blp@cs.stanford.edu>
Date: Mon, 27 Sep 2004 23:24:06 +0000 (+0000)
Subject: Update.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=812b5a9c84c04619da5145399000afc89978ce5f;p=pintos-anon

Update.
---

diff --git a/src/TODO b/src/TODO
index bf29005..3003410 100644
--- a/src/TODO
+++ b/src/TODO
@@ -1,7 +1,7 @@
-* Write, test VM.
-
 * Write "tour".
 
+* Using PAL_USER.
+
 ----------------------------------------------------------------------
 
 * Cygwin support: