diff options
author | Jakob Odersky <jodersky@gmail.com> | 2014-01-26 16:41:50 +0100 |
---|---|---|
committer | Jakob Odersky <jodersky@gmail.com> | 2014-01-26 16:41:50 +0100 |
commit | c4da3559760351467f421a234d4240ef6670f396 (patch) | |
tree | d19f2fbb3891744f9741d044a65cf220221bc4a8 /kernel/serial/include | |
parent | 7dd00b2267d991a102f18eacf3e2afacb570a299 (diff) | |
download | mux-c4da3559760351467f421a234d4240ef6670f396.tar.gz mux-c4da3559760351467f421a234d4240ef6670f396.tar.bz2 mux-c4da3559760351467f421a234d4240ef6670f396.zip |
implement stdio and add mini shell
Diffstat (limited to 'kernel/serial/include')
-rw-r--r-- | kernel/serial/include/serial/serial.h | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/kernel/serial/include/serial/serial.h b/kernel/serial/include/serial/serial.h index f6fcfc5..49ac63c 100644 --- a/kernel/serial/include/serial/serial.h +++ b/kernel/serial/include/serial/serial.h @@ -2,6 +2,8 @@ #define SERIAL_H #include <stddef.h> +#include <stdio.h> + #include "collection/rbuffer.h" #include "collection/list.h" @@ -39,4 +41,11 @@ inline void serial_write_str(const char* const str) { serial_write(str, length); } +int serial_getc(); + +int serial_putc(char c); + +extern FILE serial_in; +extern FILE serial_out; + #endif
\ No newline at end of file |