void dbgled(int x);
+void reboot(void);
+
static void cmdrun(char *cmd);
int main(void)
return 0;
}
+void reboot(void)
+{
+ printf("Rebooting ...\n");
+ rpi_reboot();
+}
+
static void cmdrun(char *cmd)
{
char *ptr, *args;
*ptr = 0;
args = ptr + 1;
- if(strcmp(cmd, "help") == 0) {
+ 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");