+ static int cur_x, cur_y;
+ 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, "down") == 0) {
+ printf("scroll down\n");
+ cur_y += 10;
+ video_scroll(cur_x, cur_y);
+
+ } else if(strcmp(cmd, "up") == 0) {
+ printf("scroll up\n");
+ cur_y -= 10;
+ video_scroll(cur_x, cur_y);
+
+ } else if(strcmp(cmd, "ticks") == 0) {
+ printf("%lu\n", num_ticks);
+
+ } 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);
+ }