Update F11/F12 scan codes from bochs bios.

This merges a patch that was committed to bochs bios.

diff --git a/src/kbd.c b/src/kbd.c
index 5d7d76aedcd6ce58c5b29c1490ea3bba7c2f4cac..2d36c3102234cd7f7cda98ecc0daa380b1f0fad1 100644 (file)
--- a/src/kbd.c
+++ b/src/kbd.c
@@ -436,8 +436,8 @@ static struct scaninfo {
     {   none,   none,   none,   none, none },
     {   none,   none,   none,   none, none },
     { 0x565c, 0x567c,   none,   none, none }, /* \| */
-    { 0x5700, 0x5700,   none,   none, none }, /* F11 */
-    { 0x5800, 0x5800,   none,   none, none }  /* F12 */
+    { 0x8500, 0x8700, 0x8900, 0x8b00, none }, /* F11 */
+    { 0x8600, 0x8800, 0x8a00, 0x8c00, none }, /* F12 */
 };
 
 static void

diff --git a/src/post_menu.c b/src/post_menu.c
index caba7da134ac5aa12dc9ec11f602626165779375..e4a273ebfc15e3980b4afb53ba4361e23a7969dc 100644 (file)
--- a/src/post_menu.c
+++ b/src/post_menu.c
@@ -54,7 +54,7 @@ interactive_bootmenu()
     if (! check_for_keystroke())
         return;
     u8 scan_code = get_keystroke();
-    if (scan_code != 0x58)
+    if (scan_code != 0x86)
         /* not F12 */
         return;