signed int fputc(signed int c, FILE *pStream) { if ((pStream == stdout) || (pStream == stderr)) { USART_Write(AT91C_BASE_US0, c, 0); return c; } else { return EOF; } }