17 static void cmdrun(char *cmd);
22 static char cmdbuf[256];
29 printf("Detected raspberry pi %d, I/O base: %x\n", rpi_model, rpi_iobase);
33 printf("Going interactive\n");
57 if(cmdend < sizeof cmdbuf) {
68 printf("Rebooting ...\n");
72 static void cmdrun(char *cmd)
76 while(*cmd && isspace(*cmd)) cmd++;
78 while(*ptr && !isspace(*ptr)) ptr++;
82 if(strcmp(cmd, "reboot") == 0) {
84 } else if(strcmp(cmd, "help") == 0) {
85 printf("help not implemented yet\n");
86 } else if(strcmp(cmd, "ver") == 0) {
87 printf("rpikern version 0.0\n");
89 printf("Unknown command: %s\n", cmd);