/* Enable the UART. 
Enable the UART. The Rx and Tx lines are also enabled. */
void uart_enable(uint32_t uart)
/* Enable the UART. 
Enable the UART. The Rx and Tx lines are also enabled. */
void uart_enable(uint32_t uart)
{
	UART_CTL(uart) |= (UART_CTL_UARTEN | UART_CTL_RXE | UART_CTL_TXE);
}