/* Sends the contents of supplied text buffer over UART.  */
void uartSend(uint8_t *bufferPtr, uint32_t length)
/* Sends the contents of supplied text buffer over UART.  */
void uartSend(uint8_t *bufferPtr, uint32_t length)
{
  while (length != 0)
  {
    while ( !(UART_U0LSR & UART_U0LSR_THRE) );
    UART_U0THR = *bufferPtr;
    bufferPtr++;
    length--;
  }
  return;
}