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