Increase default timeout to 15 seconds.

[pintos-anon] / TODO

diff --git a/TODO b/TODO
index a027d61d168b6b237d7ee6f13d01e32268460287..dd5f7467f4f09d377e122b8fb58b401caa6f45ae 100644 (file)
--- a/TODO
+++ b/TODO
@@ -1,14 +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.
-
-* Grader:
-
-  - Fix bug where failures are being treated as warnings.
+  - join-invalid doesn't compile if tid_t is not scalar type.
 
 * Userprog project: