Re: [SeaBIOS] [PATCH v3 2/2] boot: switch default menu key to ESC

[Kevin O'Connor]

On Thu, Mar 12, 2015 at 03:49:02PM +0100, Paolo Bonzini wrote:
> On some platforms, F12 may be hard to access; for example, on OS X
> machines F9-F12 have been intercepted by the OS for a long time, and
> on newer OS X releases function keys are basically gone for good.
>
> Which keys are and are not available depends on the client, not on
> the server, but only function keys are usually trapped by terminals.
> Hence, using ESC for the boot menu avoids the problems associated
> with F12.
>
> Suggested-by: Kevin O'Connor 
> Signed-off-by: Paolo Bonzini

Thanks.  The file docs/Runtime_config.md needs to be updated as well.

Otherwise, this patch and the other one looks good to me.

-Kevin