1cpu: CPU.ARMv7R @ sysbus
2    cpuType: "cortex-r8"
3    genericInterruptController: gic
4    numberOfMPURegions: 24
5    cpuId: 0
6
7scu: Miscellaneous.ArmSnoopControlUnit @ sysbus 0xae000000
8
9gic: IRQControllers.ARM_GenericInterruptController @ {
10        sysbus new Bus.BusMultiRegistration { address: 0xf9001000; size: 0x100; region: "cpuInterface" };
11        sysbus new Bus.BusMultiRegistration { address: 0xf9000000; size: 0x1000; region: "distributor" }
12    }
13    [0,1] -> cpu@[0,1]
14    architectureVersion: IRQControllers.ARM_GenericInterruptControllerVersion.GICv1
15    supportsTwoSecurityStates: false
16
17privateTimer0: Timers.ARM_PrivateTimer @ {
18        sysbus new Bus.BusPointRegistration { address: 0xae000600; cpu: cpu }
19    }
20    -> gic#0@29
21    frequency: 667000000
22
23mem: Memory.MappedMemory @ sysbus 0x0
24    size: 0x8000000
25
26uart0: UART.Cadence_UART @ sysbus 0xff000000
27    -> gic@21
28
29ttc0: Timers.Cadence_TTC @ sysbus 0xff110000
30    [0-2] -> gic@[36-38]
31    frequency: 5000000
32