+* 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.