Allow Bochs users to reboot by clicking the "user" button.
authorBen Pfaff <blp@cs.stanford.edu>
Sun, 9 Nov 2008 23:21:21 +0000 (15:21 -0800)
committerBen Pfaff <blp@cs.stanford.edu>
Sun, 9 Nov 2008 23:22:46 +0000 (15:22 -0800)
commit8334a8754dff78f83676742beb52c32d4cd8661e
treebc3f1c6d10d9e38474d0d980db02b160a0119d90
parente10779f53e9b823ed4b71b5067646b85424b9300
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.
src/utils/pintos