2011-10-05 21:03:53 +02:00
|
|
|
int uart_putchar(char c, FILE *stream);
|
|
|
|
int uart_getchar(FILE *stream);
|
|
|
|
|
|
|
|
void uart_init(void);
|
|
|
|
|
2011-10-09 00:43:30 +02:00
|
|
|
/* http://www.ermicro.com/blog/?p=325 */
|
|
|
|
|
2011-10-05 21:03:53 +02:00
|
|
|
FILE uart_output = FDEV_SETUP_STREAM(uart_putchar, NULL, _FDEV_SETUP_WRITE);
|
2011-10-09 00:43:30 +02:00
|
|
|
FILE uart_input = FDEV_SETUP_STREAM(NULL, uart_getchar, _FDEV_SETUP_READ);
|