/* Output a single byte to the serial port.  */
void serial_putc(const char c)
/* Output a single byte to the serial port.  */
void serial_putc(const char c)
{
	volatile struct imx_serial* base = (struct imx_serial *)UART_BASE;
	while (base->uts & UTS_TXFULL);
	base->utxd[0] = c;
	if (c == '\n')
		serial_putc ('\r');
}