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

[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 |  4 ++--
 src/boot.c             | 12 +++++++++---
 2 files changed, 11 insertions(+), 5 deletions(-)