1cpu: CPU.ARMv8A @ sysbus
2    cpuType: "cortex-a78"
3    genericInterruptController: gic
4
5timer: Timers.ARM_GenericTimer @ cpu
6    frequency: 62500000
7    EL3PhysicalTimerIRQ -> gic#0@29
8    EL1PhysicalTimerIRQ -> gic#0@30
9    EL1VirtualTimerIRQ -> gic#0@27
10    NonSecureEL2PhysicalTimerIRQ -> gic#0@26
11    NonSecureEL2VirtualTimerIRQ -> gic#0@28
12
13gic: IRQControllers.ARM_GenericInterruptController @ {
14        sysbus new Bus.BusMultiRegistration { address: 0x8000000; size: 0x010000; region: "distributor" };
15        sysbus new IRQControllers.ArmGicRedistributorRegistration { attachedCPU: cpu; address: 0x80a0000 }
16    }
17    [0-1] -> cpu@[0-1]
18    architectureVersion: IRQControllers.ARM_GenericInterruptControllerVersion.GICv4
19    supportsTwoSecurityStates: true
20
21flash: Memory.MappedMemory @ sysbus 0x0
22    size: 0x08000000
23
24bl31: Memory.MappedMemory @ sysbus 0x0e000000
25    size: 0x01000000
26
27ram: Memory.MappedMemory @ sysbus 0x40000000
28    size: 0x80000000
29
30uart0: UART.PL011 @ sysbus 0x09000000
31    -> gic@1
32
33rtc: Timers.PL031 @ sysbus 0x09010000
34    -> gic@2
35