1using "./cortex-r8.repl"
2
3cpu1: CPU.ARMv7R @ sysbus
4    cpuType: "cortex-r8"
5    genericInterruptController: gic
6    numberOfMPURegions: 24
7    cpuId: 1
8    signalsUnit: signalsUnit
9
10cpu2: CPU.ARMv7R @ sysbus
11    cpuType: "cortex-r8"
12    genericInterruptController: gic
13    numberOfMPURegions: 24
14    cpuId: 2
15    signalsUnit: signalsUnit
16
17cpu3: CPU.ARMv7R @ sysbus
18    cpuType: "cortex-r8"
19    genericInterruptController: gic
20    numberOfMPURegions: 24
21    cpuId: 3
22    signalsUnit: signalsUnit
23
24gic:
25    [4,5] -> cpu1@[0,1]
26    [8,9] -> cpu2@[0,1]
27    [12,13] -> cpu3@[0,1]
28
29privateTimer1: Timers.ARM_PrivateTimer @ {
30        sysbus new Bus.BusPointRegistration { address: 0xae000600; cpu: cpu1 }
31    }
32    -> gic#1@29
33    frequency: 667000000
34
35privateTimer2: Timers.ARM_PrivateTimer @ {
36        sysbus new Bus.BusPointRegistration { address: 0xae000600; cpu: cpu2 }
37    }
38    -> gic#2@29
39    frequency: 667000000
40
41privateTimer3: Timers.ARM_PrivateTimer @ {
42        sysbus new Bus.BusPointRegistration { address: 0xae000600; cpu: cpu3 }
43    }
44    -> gic#3@29
45    frequency: 667000000
46