{
"description": "OVMF with TDX support",
"interface-types": [
"uefi"
],
"mapping": {
"device": "memory",
"filename": "/usr/share/edk2/ovmf/OVMF.inteltdx.secboot.fd"
},
"targets": [
"architecture": "x86_64",
"machines": [
"pc-q35-*"
]
}
"features": [
"enrolled-keys",
"intel-tdx",
"secure-boot",
"verbose-dynamic"
"tags": [