1using "./cortex-r52.repl"
2
3cpu1: CPU.ARMv8R @ sysbus
4    cpuType: "cortex-r52"
5    genericInterruptController: gic
6    cpuId: 1
7
8gic: @ {
9        sysbus new Bus.BusMultiRegistration { address: 0xAF000000; size: 0x10000; region: "distributor" };
10        sysbus new IRQControllers.ArmGicRedistributorRegistration { attachedCPU: cpu;  address: 0xAF100000 };
11        sysbus new IRQControllers.ArmGicRedistributorRegistration { attachedCPU: cpu1; address: 0xAF120000 }
12    }
13    [4-7] -> cpu1@[0-3]
14
15timer1: Timers.ARM_GenericTimer @ cpu1
16    frequency: 100000000
17    EL1PhysicalTimerIRQ -> gic#1@30
18    EL1VirtualTimerIRQ -> gic#1@27
19    NonSecureEL2PhysicalTimerIRQ -> gic#1@26
20
21uart1: UART.PL011 @ sysbus 0x9c0a0000
22    -> gic@6
23