15 static void cmdrun(char *cmd);
20 static char cmdbuf[256];
27 printf("Detected raspberry pi %d, I/O base: %x\n", rpi_model, rpi_iobase);
31 printf("Going interactive\n");
55 if(cmdend < sizeof cmdbuf) {
64 static void cmdrun(char *cmd)
68 while(*cmd && isspace(*cmd)) cmd++;
70 while(*ptr && !isspace(*ptr)) ptr++;
74 if(strcmp(cmd, "help") == 0) {
75 printf("help not implemented yet\n");
76 } else if(strcmp(cmd, "ver") == 0) {
77 printf("rpikern version 0.0\n");
79 printf("Unknown command: %s\n", cmd);