X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=TODO;h=b90b2d8bcdcbf9ac53f2366d9e591cfa2f84bee3;hb=1b719c2f3cf8fa5bd7a110345a34e135a790052c;hp=3949bf874e720144690d15d4ae5e8d6a9db404ef;hpb=58055f2876e98db76d79fe4bb9f65f9f1d9fe43a;p=pintos-anon

diff --git a/TODO b/TODO
index 3949bf8..b90b2d8 100644
--- a/TODO
+++ b/TODO
@@ -6,3 +6,17 @@
 
 * 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.
+
+* 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