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 _______________________________________________ SeaBIOS mailing list [email protected] http://www.seabios.org/mailman/listinfo/seabios
