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