{
    "guest_arch": "x64",
    "guest_configs": [
        {
            "guest_svn": 1,
            "max_vtl": 2,
            "isolation_type": "none",
            "image": {
                "openhcl": {
                    "command_line": "OPENHCL_BOOT_LOG=com3 OPENHCL_IGVM_VTL2_GPA_POOL_CONFIG=debug",
                    "memory_page_count": 131072,
                    "uefi": true
                }
            }
        }
    ]
}
