[SeaBIOS] [PATCH v4 0/2] boot: switch default menu key to ESC

Kevin O'Connor kevin at koconnor.net
Mon Mar 16 15:36:57 CET 2015


On Thu, Mar 12, 2015 at 06:12:22PM +0100, Paolo Bonzini wrote:
> Patch 1 applies a small improvement to user experience, as suggested
> by Matt DeVillier.  Then patch 2 makes the switch.
> 
> v3->v4: also update docs/Runtime_config.md.
> 
> Paolo Bonzini (2):
>   boot.c: delay exiting boot if menu key is ESC
>   boot: switch default menu key to ESC

Thanks, I applied both patches.

-Kevin



More information about the SeaBIOS mailing list