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

2015-03-11 Thread Paolo Bonzini
On 05/03/2015 10:27, 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+S

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

2015-03-05 Thread Paolo Bonzini
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 t