/* 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++);
  }
}