Increase default timeout to 15 seconds.

[pintos-anon] / TODO

diff --git a/TODO b/TODO
index a07e2b422e21fe45b32a9f4cb5dc37c3ceb297b7..dd5f7467f4f09d377e122b8fb58b401caa6f45ae 100644 (file)
--- a/TODO
+++ b/TODO
@@ -1,10 +1,8 @@
 -*- text -*-
 
-* Clean up:
+* Threads:
 
-  - Replace AT&T assembly code by Intel assembly so that students can
-    figure out the asm from the Intel manuals.  Compare object files
-    before and after to make sure nothing changed.
+  - join-invalid doesn't compile if tid_t is not scalar type.
 
 * Userprog project: