2011-10-05 22:03:53 +03:00
|
|
|
int uart_putchar(char c, FILE *stream);
|
|
|
|
|
int uart_getchar(FILE *stream);
|
|
|
|
|
|
|
|
|
|
void uart_init(void);
|
|
|
|
|
|
2011-10-09 01:43:30 +03:00
|
|
|
/* http://www.ermicro.com/blog/?p=325 */
|
|
|
|
|
|
2015-02-19 00:22:51 -08:00
|
|
|
extern FILE uart_output;
|
|
|
|
|
extern FILE uart_input;
|
