1cpu: CPU.ARMv8R @ sysbus
2    cpuType: "cortex-r52"
3    genericInterruptController: gic
4    cpuId: 0
5
6gic: IRQControllers.ARM_GenericInterruptController @ {
7        sysbus new Bus.BusMultiRegistration { address: 0xAF000000; size: 0x10000; region: "distributor" };
8        sysbus new IRQControllers.ArmGicRedistributorRegistration { attachedCPU: cpu; address: 0xAF100000 }
9    }
10    [0-3] -> cpu@[0-3]
11    supportsTwoSecurityStates: false
12    architectureVersion: IRQControllers.ARM_GenericInterruptControllerVersion.GICv3
13
14timer: Timers.ARM_GenericTimer @ cpu
15    frequency: 100000000
16    defaultCounterFrequencyRegister: 100000000
17    EL1PhysicalTimerIRQ -> gic#0@30
18    EL1VirtualTimerIRQ -> gic#0@27
19    NonSecureEL2PhysicalTimerIRQ -> gic#0@26
20
21dram0: Memory.MappedMemory @ sysbus 0x0
22    size: 0x80000000
23
24flash0: Memory.MappedMemory @ sysbus 0x88000000
25    size: 0x04000000
26
27uart0: UART.PL011 @ sysbus 0x9c090000
28    -> gic@5
29