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

diff --git a/TODO b/TODO
index f1df50f..e0fec00 100644
--- a/TODO
+++ b/TODO
@@ -12,6 +12,12 @@
 * 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
+
+* Add src/testcases/vm, src/testcases/filesys and make it clear to use
+  them?