Clarifications.

[pintos-anon] / TODO

diff --git a/TODO b/TODO
index 5eb48b5c2b2543631e32a8fea3730a64cd89f921..27c6254779543e2171a417168aab385931394e0b 100644 (file)
--- a/TODO
+++ b/TODO
@@ -12,4 +12,9 @@
 * Some confusion--do we really get overlapping ro/rw segment in normal
   link?  Student example seemed to show that we don't.
 
-* Add qsort(), bsearch() implementations to kernel.
+* Finish writing the tour.
+
+* Come up with a way for us to release some of the tests.
+
+* userprog project should mark read-only pages as actually read-only
+  in the page table