/* This function is used by rt_kprintf to display a string on console. */
void rt_hw_console_output(const char *str)
/* This function is used by rt_kprintf to display a string on console. */
void rt_hw_console_output(const char *str)
{
    while (*str)
    {
        rt_hw_serial_putc(*str++);
    }
}