/* 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 unsigned char *fifo;
	if (c == '\n')
		serial_putc ('\r');
	fifo = (volatile unsigned char *) &(serial_reg_ch1->fifo);
	TXWAITRDY (serial_reg_ch1);
	*fifo = c;
}