From: Ben Pfaff <blp@cs.stanford.edu>
Date: Tue, 28 Sep 2004 01:29:10 +0000 (+0000)
Subject: Update.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=f4a0aa0a95761a566a9c6f2f87d8bb2b451c5863;p=pintos-anon

Update.
---

diff --git a/src/TODO b/src/TODO
index 3003410..6392e29 100644
--- a/src/TODO
+++ b/src/TODO
@@ -1,6 +1,6 @@
 * Write "tour".
 
-* Using PAL_USER.
+* Always flush TLB.
 
 ----------------------------------------------------------------------