| cpu1: CPU.ARMv7A @ sysbus |
| genericInterruptController: gic |
| cpu2: CPU.ARMv7A @ sysbus |
| genericInterruptController: gic |
| cpu3: CPU.ARMv7A @ sysbus |
| genericInterruptController: gic |
| privateTimer1: Timers.ARM_PrivateTimer @ { |
| sysbus new Bus.BusPointRegistration { address: 0xae000600; cpu: cpu1 } |
| privateTimer2: Timers.ARM_PrivateTimer @ { |
| sysbus new Bus.BusPointRegistration { address: 0xae000600; cpu: cpu2 } |
| privateTimer3: Timers.ARM_PrivateTimer @ { |
| sysbus new Bus.BusPointRegistration { address: 0xae000600; cpu: cpu3 } |