From: Ben Pfaff Date: Mon, 20 Sep 2004 22:25:33 +0000 (+0000) Subject: Update. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=b5457425e2e9bf2bf484887bba28cde1f2a57048;p=pintos-anon Update. --- diff --git a/src/TODO b/src/TODO index 89961e7..38834e8 100644 --- a/src/TODO +++ b/src/TODO @@ -1,16 +1,8 @@ -* 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. +* pagedir.[ch] needs comments. * Write, test VM.