{

    "description": "OVMF with TDX support",

    "interface-types": [

        "uefi"

    ],

    "mapping": {

        "device": "flash",

        "mode": "stateless",

        "executable": {

            "filename": "/usr/share/edk2/ovmf/OVMF.inteltdx.fd",

            "format": "raw"

        }

    },

    "targets": [

        {

            "architecture": "x86_64",

            "machines": [

                "pc-q35-*"

            ]

        }

    ],

    "features": [

        "intel-tdx",

        "verbose-dynamic"

    ],

    "tags": [

    ]

}