Don't pass "-nics 0" to qemu, because this option name has changed

[pintos-anon] / TODO

diff --git a/TODO b/TODO
index 258e2fa8764ad80ceab3ef35c9a75998ab474970..8651fb419f1c97bbd423c692ca1b7c19674da016 100644 (file)
--- a/TODO
+++ b/TODO
@@ -221,16 +221,6 @@ via Godmar Back:
 
 * Add FS persistence test(s).
 
-* lock_acquire(), lock_release() don't need additional intr_dis/enable
-  calls, because the semaphore protects lock->holder.
-  [ Think this over: is this really true when priority donation is 
-    implemented?  intr_dis/enable prevents the race with thread_set_priority. 
-    Leaving it there could help the students getting the correct synchronization
-    right.
-  ]
-
-
-
 * process_death test needs improvement
 
 * Internal tests.