altosui: provide separate flush_input/flush_output for serial. deal with monitor...
[fw/altos] / debian / source /
drwxr-xr-x   ..
-rw-r--r-- 13 format