// print the message to the serial port. void PrintSerial(const char * message) { while (*message != 0) { UARTWriteByte(*message); message++; } }
void fputc_hook(char ch) { while(UARTWriteByte(UART_CH0,(uint8*)&ch, 1) == 0); }