sys_read() from /dev/stdin
authorBarret Rhoden <brho@cs.berkeley.edu>
Tue, 24 Aug 2010 20:37:50 +0000 (13:37 -0700)
committerKevin Klues <klueska@cs.berkeley.edu>
Thu, 3 Nov 2011 00:35:53 +0000 (17:35 -0700)
commitd1e348f863903d6a506209ae566871c82aaf9eed
tree2ca70b3ef27b968bd0f8f3db3cc08da9e40f27ce
parent6ecbf20d8fd7f360e0e0c8d5ddf82c99e9cf3d75
sys_read() from /dev/stdin

Via the readline, used by the monitor.  As a pleasant side effect,
readline and monitor are less ghetto.
kern/include/stdio.h
kern/src/devfs.c
kern/src/monitor.c
kern/src/readline.c