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)
commit53641f9bb07aa127b2b5e402e28b7421ce8a7f3b
treecf939711319bd09416c8f3afd1cc1a769422977d
parent41f912229e43e5436dd9040809afe33d228b0a95
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