1cpu0: CPU.ARMv7A @ sysbus
2    cpuType: "cortex-a9"
3    genericInterruptController: gic
4    cpuId: 0
5
6scu: Miscellaneous.ArmSnoopControlUnit @ sysbus 0xae000000
7
8gic: IRQControllers.ARM_GenericInterruptController @ {
9        sysbus new Bus.BusMultiRegistration { address: 0xae000100; size: 0x100; region: "cpuInterface" };
10        sysbus new Bus.BusMultiRegistration { address: 0xae001000; size: 0x1000; region: "distributor" }
11    }
12    [0,1] -> cpu0@[0,1]
13    architectureVersion: IRQControllers.ARM_GenericInterruptControllerVersion.GICv1
14    supportsTwoSecurityStates: false
15
16privateTimer0: Timers.ARM_PrivateTimer @ {
17        sysbus new Bus.BusPointRegistration { address: 0xae000600; cpu: cpu0 }
18    }
19    -> gic#0@29
20    frequency: 667000000
21
22mem: Memory.MappedMemory @ sysbus 0x80000000
23    size: 0x8000000
24