/* This function will write a character to serial an cga */
void rt_console_putc(int c)
/* This function will write a character to serial an cga */
void rt_console_putc(int c)
{
    rt_cga_putc(c);
    rt_serial_putc(c);
}