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