On Mon, Mar 16, 2020 at 10:32:41AM +0100, Paul Menzel wrote:
From: Matt DeVillier matt.devillier@gmail.com Date: Fri, 13 Jun 2014 17:20:23 -0500
Signed-off-by: Matt DeVillier matt.devillier@gmail.com Signed-off-by: Paul Menzel pmenzel@molgen.mpg.de
Upstream from https://github.com/MrChromebox/SeaBIOS/
src/boot.c | 6 ++++++ 1 file changed, 6 insertions(+)
diff --git a/src/boot.c b/src/boot.c index afeb36a..ace3fa5 100644 --- a/src/boot.c +++ b/src/boot.c @@ -670,6 +670,12 @@ interactive_bootmenu(void) if (! CONFIG_BOOTMENU || !romfile_loadint("etc/show-boot-menu", 1)) return;
- // skip menu if only one boot device and no TPM
- if ((NULL == BootList.first->next) && !tpm_can_show_menu()) {
printf("\n");
return;
- }
Looks reasonable.
cheers, Gerd