X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=TODO;h=27c6254779543e2171a417168aab385931394e0b;hb=83fc2d89cf608ee9395b853c0628fc684c6f250e;hp=f1df50fe1c5fa57f7218727e7a95a72c8bbf22e3;hpb=d3e90322565a2603fe5c497133838e5fde8c5a61;p=pintos-anon

diff --git a/TODO b/TODO
index f1df50f..27c6254 100644
--- 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