From 3ceaa03c60fc54f9bbf3da2de1303bec6156d5ac Mon Sep 17 00:00:00 2001
From: Jessica Hamilton <jessica.l.hamilton@gmail.com>
Date: Mon, 8 Jan 2018 19:29:56 +1300
Subject: [PATCH] efi: force boot menu to show.

---
 src/system/boot/platform/efi/start.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/system/boot/platform/efi/start.cpp b/src/system/boot/platform/efi/start.cpp
index a8cc4bc718..deb12f83b8 100644
--- a/src/system/boot/platform/efi/start.cpp
+++ b/src/system/boot/platform/efi/start.cpp
@@ -284,6 +284,7 @@ efi_main(EFI_HANDLE image, EFI_SYSTEM_TABLE *systemTable)
 	serial_enable();
 
 	sBootOptions = console_check_boot_keys();
+	sBootOptions |= BOOT_OPTION_MENU;
 
 	// disable apm in case we ever load a 32-bit kernel...
 	gKernelArgs.platform_args.apm.version = 0;