[SeaBIOS] [PATCH v2 1/3] boot: Extend `etc/show-boot-menu` to configure skipping boot menu with only one device

Concerns were raised, that skipping the boot menu, if only one device is present, might make debugging issues more difficult. So, extend the current runtime configuration option `etc/show-boot-menu` to enable this feature by setting it to 2. Fixes: 29ee1fb8 ("Skip boot menu and timeout with only

[SeaBIOS] [PATCH v2 2/3] boot: Log, if boot menu is skipped

Signed-off-by: Paul Menzel --- v2: Fix function name. Make it a log message. src/boot.c | 1 + 1 file changed, 1 insertion(+) diff --git a/src/boot.c b/src/boot.c index a395347..03bd251 100644 --- a/src/boot.c +++ b/src/boot.c @@ -692,6 +692,7 @@ interactive_bootmenu(void) // skip menu

[SeaBIOS] [PATCH v2 3/3] boot: Skip boot menu by default with only one device

If SeaBIOS only detects one device, it makes no difference if the boot menu is shown and the user only can select that found device, or the system booting into that by default. The only difference is, the user could power off the system during the time the boot menu is shown. But, without