/* This function is synchronous (i.e. uses polling). c Character to send.  */
void auxSerialPutc(const unsigned char c)
/* This function is synchronous (i.e. uses polling). c Character to send.  */
void auxSerialPutc(const unsigned char c)
{
  Uart *pUart = SECOND_SERIAL_UART;
  while ( (pUart->UART_SR & UART_SR_TXRDY) == 0 ) ;
  pUart->UART_THR = c;
}