On Wed, Mar 04, 2015 at 05:57:02PM +0100, Paolo Bonzini wrote:
F11 and F12 are trapped by some terminal emulators, and sgabios does not always recognize function keys very well.
Real-world machines often provide replacements for function keys for use on the serial console: ESC+1...ESC+0 for F1...F10, ESC+SHIFT+1 and ESC+SHIFT+2 for F11...F12. Accept all of them, which can be useful in case the user has set boot-menu-key.
Thanks. Did you encounter this problem with QEMU or on a real machine with coreboot?
Out of curiosity, is there a reason why one can't modify boot-menu-key/boot-menu-message for those machines that don't support F12?
BTW, several chromebooks change boot-menu-key to 0x01 (ESC) and I think that would conflict with your patch.
-Kevin