[SeaBIOS] Re: [PATCH] Add force-boot-menu runtime configuration

[Gerd Hoffmann]

On Mon, Nov 11, 2024 at 03:41:16AM +0000, Daniel Khodabakhsh wrote:
> After poking around I realised boot-fail-wait supports a negative
> integer input, so instead of introducing a new configuration I made a
> change to support negative integer input for boot-menu-wait.
> Please disregard the previous patch and consider this one instead:
>
> From 17a5b1cd90a10661652911a541afc13b69709ebf Mon Sep 17 00:00:00 2001
> From: Daniel Khodabakhsh 
> Date: Thu, 7 Nov 2024 18:46:16 -0800
> Subject: [PATCH] Force display of the boot menu when boot-menu-wait is a
>  negative number.

Looks good to me.

take care,
  Gerd