-* Write user test programs.
+* userprog should mention that keyboard over serial doesn't work
-* Write, test join.
+* 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.
-* Write "tour".
+* References/bibliography.
+ - Userprog refers to [SysV-i386].
-* Get rid of 16550a.h header.
+* Write "tour".
----------------------------------------------------------------------