-* Write, test join.
+* userprog should mention that keyboard over serial doesn't work
+
+* Get rid of names for synch primitives? They increase the size of
+ each one by 16 bytes and are probably not that useful.
+ Alternatively make the names pointers?
* Write, test user programs.
+ - addrspace_load() should return thread's esp.
+ - thread_execute() shouldn't panic on failure (!).
* Figure out PD/PT management API.
- We should document what's in mmu.h.
+ - pagedir.[ch] is undocumented.
* Write, test VM.
* Compile and install gdb, dbg versions.
- Test gdb version.
+* References/bibliography.
+ - Userprog refers to [SysV-i386].
+
* Write "tour".
----------------------------------------------------------------------