Reboot when Ctrl+Alt+Del is pressed.
[pintos-anon] / src / threads / init.c
index b89b282435ffa4fd284c776049dcc4c45a60c66c..ac9460307d3d2b3d5596713bedb8c040db65bf0c 100644 (file)
@@ -50,6 +50,9 @@ static bool format_filesys;
 /* -q: Power off after kernel tasks complete? */
 bool power_off_when_done;
 
+/* -r: Reboot after kernel tasks complete? */
+static bool reboot_when_done;
+
 static void ram_init (void);
 static void paging_init (void);
 
@@ -122,6 +125,9 @@ main (void)
   run_actions (argv);
 
   /* Finish up. */
+  if (reboot_when_done)
+    reboot ();
+
   if (power_off_when_done)
     power_off ();
   thread_exit ();
@@ -237,6 +243,8 @@ parse_options (char **argv)
         usage ();
       else if (!strcmp (name, "-q"))
         power_off_when_done = true;
+      else if (!strcmp (name, "-r"))
+        reboot_when_done = true;
 #ifdef FILESYS
       else if (!strcmp (name, "-f"))
         format_filesys = true;
@@ -302,8 +310,8 @@ run_actions (char **argv)
       {"ls", 1, fsutil_ls},
       {"cat", 2, fsutil_cat},
       {"rm", 2, fsutil_rm},
-      {"put", 2, fsutil_put},
-      {"get", 2, fsutil_get},
+      {"extract", 1, fsutil_extract},
+      {"append", 2, fsutil_append},
 #endif
       {NULL, 0, NULL},
     };
@@ -351,12 +359,13 @@ usage (void)
           "  cat FILE           Print FILE to the console.\n"
           "  rm FILE            Delete FILE.\n"
           "Use these actions indirectly via `pintos' -g and -p options:\n"
-          "  put FILE           Put FILE into file system from scratch disk.\n"
-          "  get FILE           Get FILE from file system into scratch disk.\n"
+          "  extract            Untar from scratch disk into file system.\n"
+          "  append FILE        Append FILE to tar file on scratch disk.\n"
 #endif
           "\nOptions:\n"
           "  -h                 Print this help message and power off.\n"
           "  -q                 Power off VM after actions or on panic.\n"
+          "  -r                 Reboot after actions.\n"
           "  -f                 Format file system disk during startup.\n"
           "  -rs=SEED           Set random number seed to SEED.\n"
           "  -mlfqs             Use multi-level feedback queue scheduler.\n"
@@ -368,6 +377,37 @@ usage (void)
 }
 
 
+/* Reboots the machine we're running on. */
+void
+reboot (void)
+{
+    int i;
+
+    printf ("Rebooting...\n");
+
+    /* based on reboot.c code by Osamu Tomita <tomita@cinet.co.jp>
+     * See http://www.win.tue.nl/~aeb/linux/kbd/scancodes-11.html */
+    for (i = 0; i < 100; i++) {
+        int j;
+
+        /* Poll keyboard controller's status byte until 
+         * 'input buffer empty' is reported, so it's ok to write */
+        for (j = 0; j < 0x10000; j++) 
+          {
+            if ((inb (0x64) & 0x02) == 0)   
+              break;
+            timer_udelay (2);
+          }
+
+        timer_udelay (50);
+
+        /* Pulse bit 0 of the output port P2 of the keyboard controller. 
+         * This will reset the CPU. */
+        outb (0x64, 0xfe);
+        timer_udelay (50);
+    }
+}
+
 /* Powers down the machine we're running on,
    as long as we're running on Bochs or QEMU. */
 void