{
    "guest_arch": "x64",
    "guest_configs": [
        {
            "guest_svn": 10,
            "max_vtl": 2,
            "isolation_type": {
                "snp": {
                    "shared_gpa_boundary_bits": 46,
                    "policy": 196639,
                    "enable_debug": false,
                    "injection_type": "normal"
                }
            },
            "image": {
                "openhcl": {
                    "command_line": "",
                    "memory_page_count": 163840,
                    "memory_page_base": 32768,
                    "uefi": true
                }
            }
        },
        {
            "guest_svn": 10,
            "max_vtl": 2,
            "isolation_type": {
                "tdx": {
                    "enable_debug": false,
                    "sept_ve_disable": true
                }
            },
            "image": {
                "openhcl": {
                    "command_line": "",
                    "memory_page_count": 16384,
                    "memory_page_base": 32768,
                    "uefi": true
                }
            }
        },
        {
            "guest_svn": 10,
            "max_vtl": 2,
            "isolation_type": {
                "vbs": {
                    "enable_debug": false
                }
            },
            "image": {
                "openhcl": {
                    "command_line": "",
                    "memory_page_count": 32768,
                    "memory_page_base": 32768,
                    "uefi": true
                }
            }
        }
    ]
}