Merge branch 'sparc-dev' of ssh://scm.millennium.berkeley.edu/project/cs/radlab/src...
[akaros.git] / user / apps / parlib / matrix.c
index cbe98f2..5337282 100644 (file)
@@ -2,7 +2,8 @@
 #include <string.h>
 #include <stdio.h>
 #include <unistd.h>
-#include <arch/types.h>
+#include <ros/common.h>
+#include <sys/stat.h>
 
 extern char * readline(const char *prompt);
 extern void draw_nanwan();
@@ -11,6 +12,8 @@ extern void change_user();
 extern void set_default_user();
 extern void file_io();
 extern void file_error();
+extern void run_binary();
+extern void run_binary_colored();
 extern char prompt[256];
 
 void help() {
@@ -18,8 +21,10 @@ void help() {
               "  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"
+           "  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"
              );
 }
 
@@ -45,6 +50,10 @@ int main(int argc, char** argv)
                        file_io();
                else if (strcmp(s, "file_error") == 0)
                        file_error();
+               else if (strcmp(s, "run_binary") == 0)
+                       run_binary();
+               else if (strcmp(s, "run_binary_colored") == 0)
+                       run_binary_colored();
                else
                        help();