X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2FTODO;h=89961e76e65169f074d181b4e6e3345e594a08bc;hb=2954eea99520a7585b4419c78771a6f341937ef3;hp=f3f6d0759fbd6961ec73a50116314c346f6371fa;hpb=8a0c402207a9c4b0dc58f417ae3bc169c6f62f0f;p=pintos-anon

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?