Add config option to set boot menu delay time.

Add CONFIG_BOOTMENU_WAIT option with delay time (in milliseconds).

diff --git a/src/boot.c b/src/boot.c
index 45d808f7eacc8be28b3f59c2774404d732660edc..a7795a104944f5edf8c7bd3d86552fb32d15dc07 100644 (file)
--- a/src/boot.c
+++ b/src/boot.c
@@ -205,7 +205,7 @@ interactive_bootmenu()
 
     printf("Press F12 for boot menu.\n\n");
 
-    int scan_code = get_keystroke(2500);
+    int scan_code = get_keystroke(CONFIG_BOOTMENU_WAIT);
     if (scan_code != 0x86)
         /* not F12 */
         return;

diff --git a/src/config.h b/src/config.h
index 092a38b12d642d2818d5aa7a5940db7fb863c0aa..5ed61ae1153f36dc72ad914b8ab353597863ccf4 100644 (file)
--- a/src/config.h
+++ b/src/config.h
@@ -41,6 +41,10 @@
 #define CONFIG_PNPBIOS 1
 // Support int 19/18 system bootup support
 #define CONFIG_BOOT 1
+// Support an interactive boot menu at end of post.
+#define CONFIG_BOOTMENU 1
+// Amount of time (in ms) to wait at menu before selecting normal boot.
+#define CONFIG_BOOTMENU_WAIT 2500
 // Support int 14 serial port calls
 #define CONFIG_SERIAL 1
 // Support int 17 parallel port calls
@@ -71,8 +75,6 @@
 #define OPTIONROM_MEM_1 0x00000000
 #define OPTIONROM_VENDEV_2 0x00000000
 #define OPTIONROM_MEM_2 0x00000000
-// Support an interactive boot menu at end of post.
-#define CONFIG_BOOTMENU 1
 
 // Support generation of a PIR table in 0xf000 segment (for emulators)
 #define CONFIG_PIRTABLE 1