Clarifications.

[pintos-anon] / TODO

diff --git a/TODO b/TODO
index f1df50fe1c5fa57f7218727e7a95a72c8bbf22e3..27c6254779543e2171a417168aab385931394e0b 100644 (file)
--- a/TODO
+++ b/TODO
@@ -12,6 +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