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