added reboot syscall
authorAndrew Waterman <waterman@parcad.millennium.berkeley.edu>
Tue, 1 Dec 2009 04:31:21 +0000 (20:31 -0800)
committerAndrew Waterman <waterman@parcad.millennium.berkeley.edu>
Tue, 1 Dec 2009 04:31:21 +0000 (20:31 -0800)
kern/src/syscall.c
user/apps/parlib/matrix.c

index bec7b0f..7d23d55 100644 (file)
@@ -546,6 +546,10 @@ intreg_t syscall(struct proc *p, trapframe_t *tf, uintreg_t syscallno,
                        return frontend_syscall_from_user(p,a1,a2,a3,a4);
        #endif
 
+               case SYS_reboot:
+                       reboot();
+                       return 0;
+
                default:
                        // or just return -EINVAL
                        panic("Invalid syscall number %d for env %x!", syscallno, *p);
index 5337282..fcb26ab 100644 (file)
@@ -2,6 +2,7 @@
 #include <string.h>
 #include <stdio.h>
 #include <unistd.h>
+#include <parlib.h>
 #include <ros/common.h>
 #include <sys/stat.h>
 
@@ -18,13 +19,14 @@ extern char prompt[256];
 
 void help() {
        printf("Possible commands to run:\n"
-              "  draw_nanwan:      Draw a picture of Nanwan, our mascot giraffe\n"
-              "  clear_screen:     Clear the Screen\n"
-              "  change_user:      Change Username\n"
-           "  file_io:          Run File Related IO Tests\n"
-           "  file_error:       Run File Error Related Tests\n"
-           "  run_binary:       Load and run a binary located on the remote server\n"
-           "  run_binary_colored:       Load and run a binary located on the remote server with a specified number of page colors\n"
+          "  draw_nanwan:      Draw a picture of Nanwan, our mascot giraffe\n"
+          "  clear_screen:     Clear the Screen\n"
+          "  change_user:      Change Username\n"
+          "  reboot:           Hopefully you can figure this one out...\n"
+          "  file_io:          Run File Related IO Tests\n"
+          "  file_error:       Run File Error Related Tests\n"
+          "  run_binary:       Load and run a binary located on the remote server\n"
+          "  run_binary_colored:       Load and run a binary located on the remote server with a specified number of page colors\n"
              );
 }
 
@@ -46,6 +48,8 @@ int main(int argc, char** argv)
                        clrscrn(0);             
                else if (strcmp(s, "change_user") == 0)
                        change_user();
+               else if (strcmp(s, "reboot") == 0)
+                       sys_reboot();
                else if (strcmp(s, "file_io") == 0)
                        file_io();
                else if (strcmp(s, "file_error") == 0)