+ char *ptr, *args;
+
+ while(*cmd && isspace(*cmd)) cmd++;
+ ptr = cmd;
+ while(*ptr && !isspace(*ptr)) ptr++;
+ *ptr = 0;
+ args = ptr + 1;
+
+ if(strcmp(cmd, "reboot") == 0) {
+ reboot();
+ } else if(strcmp(cmd, "help") == 0) {
+ printf("help not implemented yet\n");
+ } else if(strcmp(cmd, "ver") == 0) {
+ printf("rpikern version 0.0\n");
+ } else {
+ printf("Unknown command: %s\n", cmd);
+ }