| genericInterruptController: gic |
| timer: Timers.ARM_GenericTimer @ cpu |
| EL3PhysicalTimerIRQ -> gic#0@29 |
| EL1PhysicalTimerIRQ -> gic#0@30 |
| EL1VirtualTimerIRQ -> gic#0@27 |
| NonSecureEL2PhysicalTimerIRQ -> gic#0@26 |
| NonSecureEL2VirtualTimerIRQ -> gic#0@28 |
| gic: IRQControllers.ARM_GenericInterruptController @ { |
| sysbus new Bus.BusMultiRegistration { address: 0x8000000; size: 0x010000; region: "distributor" }; |
| sysbus new Bus.BusMultiRegistration { address: 0x8010000; size: 0x010000; region: "cpuInterface" } |
| architectureVersion: IRQControllers.ARM_GenericInterruptControllerVersion.GICv2 |
| supportsTwoSecurityStates: true |
| flash: Memory.MappedMemory @ sysbus 0x0 |
| bl31: Memory.MappedMemory @ sysbus 0x0e000000 |
| ram: Memory.MappedMemory @ sysbus 0x40000000 |
| uart0: UART.PL011 @ sysbus 0x09000000 |
| rtc: Timers.PL031 @ sysbus 0x09010000 |