/* Transmit a char, if you want to use printf(), you need implement this function.  */
void PrintChar(char c)
/* Transmit a char, if you want to use printf(), you need implement this function.  */
void PrintChar(char c)
{
  xUARTCharPut(USART1_BASE, c);
}