From: Ben Pfaff <blp@cs.stanford.edu>
Date: Sun, 24 Aug 2008 17:16:32 +0000 (+0000)
Subject: New option -r to reboot the VM after actions are complete.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=commitdiff_plain;h=d88e8f5938d6aae4b58149b259fd485278a83ef9;hp=d88e8f5938d6aae4b58149b259fd485278a83ef9

New option -r to reboot the VM after actions are complete.

From Godmar Back, with minor tweaks.
---