int cmd_echo(char text[]) { printf("%s\n\r", text); return TRUE; }