/* 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)
{
	while ((LSR(CONFIG_SYS_IXP425_CONSOLE) & LSR_TEMT) == 0);
	THR(CONFIG_SYS_IXP425_CONSOLE) = c;
	if (c == '\n')
		serial_putc ('\r');
}