{
    "description": "UEFI firmware for ARM64 virtual machines",
    "interface-types": [
        "uefi"
    ],
    "mapping": {
        "device": "flash",
        "executable": {
            "filename": "/usr/share/AAVMF/AAVMF_CODE.fd",
            "format": "raw"
        },
        "nvram-template": {
            "filename": "/usr/share/AAVMF/AAVMF_VARS.fd",
            "format": "raw"
        }
    },
    "targets": [
        {
            "architecture": "aarch64",
            "machines": [
                "virt-*"
            ]
        }
    ],
    "features": [

    ],
    "tags": [
        "-a AARCH64",
        "-p ArmVirtPkg/ArmVirtQemu.dsc",
        "-t GCC48",
        "-b DEBUG",
        "-D DEBUG_PRINT_ERROR_LEVEL=0x80000000"
    ]
}