void
serial_putc(const char c)
{
	if (bootcmdflag == 1 || showinfoflag == 1) {
#ifdef CONFIG_USB_TTY		  	
    char tmp[2];
    
    tmp[0] = c;
    tmp[1] = 0;
    
    if(( c != '\r' )&&(do_puts == 0))
    {
        usbtty_putc(c);
    }
#endif  
	while (1) {
		if ((pUart_Reg->URUSR & URUSR_TXDBSY) == 0) 	/* TX data not busy */
		break;
	}

	pUart_Reg->URTDR = c;
	if (c == '\n')
		serial_putc('\r');
}
}
void quad_putc_dev (unsigned long base, const char c)
{
	if (zoom2_debug_board_connected ()) {

		if (c == '\n')
			quad_putc_dev (base, '\r');

		NS16550_putc ((NS16550_t) base, c);
	} else {
		usbtty_putc(c);
	}
}