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

2015-03-16 Thread Kevin O'Connor
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

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

2015-03-12 Thread Paolo Bonzini
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 docs/Runtime_config.md |