X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2FTODO;h=6392e2920875a168df94f46c896b6beaa617ef18;hb=c21e87658740dd82f45bfc091ddfc7eace72d81c;hp=a59954f1b533a91f45b26316a3cac32389eec2ca;hpb=5e08251bb1eeff03d54c5f7203b794696d82d93f;p=pintos-anon

diff --git a/src/TODO b/src/TODO
index a59954f..6392e29 100644
--- a/src/TODO
+++ b/src/TODO
@@ -1,9 +1,7 @@
-* Write, test VM.
-
-* Finish comments for hash.[ch].
-
 * Write "tour".
 
+* Always flush TLB.
+
 ----------------------------------------------------------------------
 
 * Cygwin support: