From: Ben Pfaff Date: Mon, 20 Sep 2004 06:44:36 +0000 (+0000) Subject: Update. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=e86b73bfe5e9fefe72dd8aa8df10469f3dd52922;p=pintos-anon Update. --- diff --git a/src/TODO b/src/TODO index f3f6d07..89961e7 100644 --- a/src/TODO +++ b/src/TODO @@ -1,3 +1,5 @@ +* 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?