From: Ben Pfaff <blp@cs.stanford.edu>
Date: Thu, 18 May 2006 19:08:38 +0000 (+0000)
Subject: Get rid of obsolete items.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=9cc6fc4b68e697ff8bc897e93a8ba8c37ffbf328;p=pintos-anon

Get rid of obsolete items.
---

diff --git a/TODO b/TODO
index 90f6244..ccc9362 100644
--- a/TODO
+++ b/TODO
@@ -92,18 +92,6 @@ via Godmar Back:
 
 * Improve automatic interpretation of exception messages.
 
-* Userprog project:
-
-  - Mark read-only pages as actually read-only in the page table.  Or,
-    since this was consistently rated as the easiest project by the
-    students, require them to do it.
-
-  - Don't provide per-process pagedir implementation but only
-    single-process implementation and require students to implement
-    the separation?  This project was rated as the easiest after all.
-    Alternately we could just remove the synchronization on pid
-    selection and check that students fix it.
-
 * Filesys project:
 
   - Need a better way to measure performance improvement of buffer