-*- text -*-
-* Miscellaneous:
+* The tests in tests/ don't apply the grading patches.
- - Currently the `pintos' utility has a broken return code policy: it
- returns 1 to indicate success. It inherited this mistake from
- Bochs, which does something similar. This needs to be fixed.
+* Threads:
+
+ - join-invalid doesn't compile if tid_t is not scalar type.
* Userprog project: