/* 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(!(UTRSTAT0 & 0x02));
	UTXH0 = (unsigned char)c;
	if (c=='\n')
		serial_putc('\r');
}