/* Enable the UART Receive Interrupt. 
Note that the NVIC must be enabled and properly configured for the interrupt to be routed to the CPU. */
void uart_enable_rx_interrupt(uint32_t uart)
/* Enable the UART Receive Interrupt. 
Note that the NVIC must be enabled and properly configured for the interrupt to be routed to the CPU. */
void uart_enable_rx_interrupt(uint32_t uart)
{
	uart_enable_interrupts(uart, UART_INT_RX);
}