From: Ben Pfaff <blp@cs.stanford.edu>
Date: Tue, 23 Nov 2004 23:05:03 +0000 (+0000)
Subject: Update.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=6ec64a980301e083cde9a769d21ed282d8fd6ca8;p=pintos-anon

Update.
---

diff --git a/TODO b/TODO
index ec8df97..6b93ca2 100644
--- a/TODO
+++ b/TODO
@@ -8,3 +8,6 @@
   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.