On Tue, May 19, 2020 at 11:39:42PM +0200, Paul Menzel wrote:
> 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.

Thanks.  I committed patch 1 and 2.

SeaBIOS mailing list -- seabios@seabios.org
To unsubscribe send an email to seabios-le...@seabios.org

Reply via email to