Get rid of obsolete items.

diff --git a/TODO b/TODO
index 90f6244eae29eacaf4509b30dad8b657f6e4bc63..ccc9362c30a0e747500869ce7d96a05ef910ad53 100644 (file)
--- 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