-*- text -*-
+* Miscellaneous:
+
+ - 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.
+
* Userprog project:
- Move `join' implementation here, from `threads' project, to help