X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=TODO;h=27c6254779543e2171a417168aab385931394e0b;hb=b09f5e5075c6840d6f7601857840b3de3d5de521;hp=ec8df9754fac7cb4a80fbf6aef12cd73848e9e25;hpb=8925763e88de77ae041d77082d7b8d00fb58c7d2;p=pintos-anon

diff --git a/TODO b/TODO
index ec8df97..27c6254 100644
--- a/TODO
+++ b/TODO
@@ -8,3 +8,13 @@
   returns the exit code once.
 
 * mmap/munmap should use segment IDs like Nachos.  Too hard otherwise.
+
+* Some confusion--do we really get overlapping ro/rw segment in normal
+  link?  Student example seemed to show that we don't.
+
+* 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