From: Ben Pfaff <blp@cs.stanford.edu>
Date: Sun, 9 Nov 2008 23:21:21 +0000 (-0800)
Subject: Allow Bochs users to reboot by clicking the "user" button.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=53641f9bb07aa127b2b5e402e28b7421ce8a7f3b;hp=53641f9bb07aa127b2b5e402e28b7421ce8a7f3b;p=pintos-anon

Allow Bochs users to reboot by clicking the "user" button.

The "user_shortcut" Bochs option allows specifying a key combination to
send to the VM when the user clicks on the "user" button in the Bochs
headerbar.

From Godmar, crossported from his usb-integration-aug08 branch.
---