fix intel tdx firmware descriptor

Change the device type to memory, i.e. '-bios $file' to load it into RAM/ROM.
2023-12-06 11:20:58 +01:00 · 2023-12-06 11:20:58 +01:00 · f11bca702b
commit f11bca702b
parent e23d2f953b
1 changed files with 2 additions and 6 deletions
--- a/60-edk2-ovmf-x64-inteltdx.json
+++ b/60-edk2-ovmf-x64-inteltdx.json
@ -4,12 +4,8 @@
        "uefi"
    ],
    "mapping": {
-        "device": "flash",
-        "mode": "stateless",
-        "executable": {
-            "filename": "/usr/share/edk2/ovmf/OVMF.inteltdx.secboot.fd",
-            "format": "raw"
-        }
+        "device": "memory",
+        "filename": "/usr/share/edk2/ovmf/OVMF.inteltdx.secboot.fd"
    },
    "targets": [
        {