{
    "guest_arch": "x64",
    "guest_configs": [
        {
            "guest_svn": 1,
            "max_vtl": 0,
            "isolation_type": {
                "tdx": {
                    "enable_debug": false,
                    "sept_ve_disable": true
                }
            },
            "image": {
                "uefi": {
                    "config_type": "igvm"
                }
            }
        },
        {
            "guest_svn": 1,
            "max_vtl": 0,
            "isolation_type": {
                "snp": {
                    "shared_gpa_boundary_bits": 39,
                    "policy": 196639,
                    "enable_debug": true,
                    "injection_type": "restricted"
                }
            },
            "image": {
                "uefi": {
                    "config_type": "igvm"
                }
            }
        }
    ]
}