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.