X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=TODO;h=27c6254779543e2171a417168aab385931394e0b;hb=83fc2d89cf608ee9395b853c0628fc684c6f250e;hp=3949bf874e720144690d15d4ae5e8d6a9db404ef;hpb=58055f2876e98db76d79fe4bb9f65f9f1d9fe43a;p=pintos-anon

diff --git a/TODO b/TODO
index 3949bf8..27c6254 100644
--- a/TODO
+++ b/TODO
@@ -6,3 +6,15 @@
 
 * The semantics of the join system call should change so that it only
   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