| include "system/public/zircon/mdi/zircon.mdi" | |
| cpu-map = { | |
| clusters = { | |
| { | |
| cpu-count = 4 | |
| } | |
| } | |
| } | |
| kernel = { | |
| s905-uart = { | |
| irq = 225 | |
| base-phys = 0xc81004c0 | |
| base-virt = 0xffffffffc81004c0 | |
| } | |
| arm-gic-v2 = { | |
| base-virt = 0xffffffffc4300000 | |
| base-phys = 0xc4300000 | |
| gicd-offset = 0x1000 | |
| gicc-offset = 0x2000 | |
| gich-offset = 0x4000 | |
| gicv-offset = 0x6000 | |
| ipi-base = 5 | |
| } | |
| arm-psci = { | |
| use-smc = true | |
| } | |
| arm-timer = { | |
| irq-phys = 30 | |
| } | |
| } |