/* This function is used to display a string on console, normally, it's invoked by rt_kprintf */
void rt_console_puts(const char *str)
/* This function is used to display a string on console, normally, it's invoked by rt_kprintf */
void rt_console_puts(const char *str)
{
    while (*str)
    {
        rt_serial_putc (*str++);
    }
}