altos/kernel: Make ao_cmd_readline public. Return char from ao_cmd_lex.

[fw/altos] / src / kernel / ao.h

diff --git a/src/kernel/ao.h b/src/kernel/ao.h
index fb41d7a9ff8b024ac133f879cdac222d5ec05b3e..9ab7991b9b26af5860ee7b4eda98946a55391335 100644 (file)
--- a/src/kernel/ao.h
+++ b/src/kernel/ao.h
@@ -170,6 +170,9 @@ void
 ao_put_string(__code char *s);
 
 void
+ao_cmd_readline(void);
+
+char
 ao_cmd_lex(void);
 
 void