| using "./cortex-r52_smp.repl" |
| |
| cpu2: CPU.ARMv8R @ sysbus |
| cpuType: "cortex-r52" |
| genericInterruptController: gic |
| cpuId: 2 |
| |
| cpu3: CPU.ARMv8R @ sysbus |
| cpuType: "cortex-r52" |
| genericInterruptController: gic |
| cpuId: 3 |
| |
| gic: @ { |
| sysbus new Bus.BusMultiRegistration { address: 0xAF000000; size: 0x10000; region: "distributor" }; |
| sysbus new IRQControllers.ArmGicRedistributorRegistration { attachedCPU: cpu; address: 0xAF100000 }; |
| sysbus new IRQControllers.ArmGicRedistributorRegistration { attachedCPU: cpu1; address: 0xAF120000 }; |
| sysbus new IRQControllers.ArmGicRedistributorRegistration { attachedCPU: cpu2; address: 0xAF140000 }; |
| sysbus new IRQControllers.ArmGicRedistributorRegistration { attachedCPU: cpu3; address: 0xAF160000 } |
| } |
| [8-11] -> cpu2@[0-3] |
| [12-15] -> cpu3@[0-3] |
| |
| timer2: Timers.ARM_GenericTimer @ cpu2 |
| frequency: 100000000 |
| EL1PhysicalTimerIRQ -> gic#2@30 |
| EL1VirtualTimerIRQ -> gic#2@27 |
| NonSecureEL2PhysicalTimerIRQ -> gic#2@26 |
| |
| timer3: Timers.ARM_GenericTimer @ cpu3 |
| frequency: 100000000 |
| EL1PhysicalTimerIRQ -> gic#3@30 |
| EL1VirtualTimerIRQ -> gic#3@27 |
| NonSecureEL2PhysicalTimerIRQ -> gic#3@26 |
| |
| uart2: UART.PL011 @ sysbus 0x9c0b0000 |
| -> gic@7 |
| |
| uart3: UART.PL011 @ sysbus 0x9c0c0000 |
| -> gic@8 |
