Add support for "keyboard" input over the serial port.
[pintos-anon] / src / utils / .cvsignore
index b0175f571ffe458b143edc7ec30d55c78571a23b..13d683392b62497d6c67f344067b5d0d7bbafd7d 100644 (file)
@@ -1 +1,2 @@
 setitimer-helper
+squish-pty