diff --git a/generator/UEFI.ml b/generator/UEFI.ml
index 1ff3f84d2..bca3fa1ae 100644
--- a/generator/UEFI.ml
+++ b/generator/UEFI.ml
@@ -52,6 +52,12 @@ let firmware = [
     "/usr/share/edk2/ovmf/OVMF_VARS.fd",
     [];
 
+    "x86_64",
+    "/usr/share/edk2/ovmf/OVMF_CODE.secboot.fd",
+    None,
+    "/usr/share/edk2/ovmf/OVMF_VARS.fd",
+    [ "UEFI_FLAG_SECURE_BOOT_REQUIRED" ];
+
     "x86_64",
     "/usr/share/qemu/ovmf-x86_64-code.bin",
     None,