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