zone1_linux.json

{
    "arch": "arm64",
    "name": "linux2",
    "zone_id": 1,
    "cpus": [2, 3],
    "memory_regions": [
        {
            "type": "ram",
            "physical_start": "0x50000000",
            "virtual_start":  "0x50000000",
            "size": "0x30000000"
        },
        {
            "type": "virtio",
            "physical_start": "0xa003600",
            "virtual_start":  "0xa003600",
            "size": "0x200"
        },
        {
            "type": "virtio",
            "physical_start": "0xa003800",
            "virtual_start":  "0xa003800",
            "size": "0x200"
        },
        {
            "type": "virtio",
            "physical_start": "0xa003c00",
            "virtual_start":  "0xa003c00",
            "size": "0x200"
        }
    ],
    "interrupts": [75, 76, 78],
    "ivc_configs": [],
    "kernel_filepath": "./Image",
    "dtb_filepath": "./linux2.dtb",
    "kernel_load_paddr": "0x50400000",
    "dtb_load_paddr":   "0x50000000",
    "entry_point":      "0x50400000",
    "arch_config": {
        "gicd_base": "0x8000000",
        "gicd_size": "0x10000",
        "gicr_base": "0x80a0000",
        "gicr_size": "0xf60000"
    }
}