[SeaBIOS] [PATCH] boot: add serial-friendly alternatives for invoking the boot menu

[Kevin O'Connor]

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