1cpu1: CPU.CortexM @ sysbus
2    cpuType: "cortex-m4"
3    nvic: nvic1
4    id: 0
5
6
7cpu2: CPU.CortexM @ sysbus
8    cpuType: "cortex-m4"
9    nvic: nvic2
10    id: 1
11
12
13core1_mem: Memory.MappedMemory @ {
14    sysbus new Bus.BusPointRegistration {
15        address: 0x07000000;
16        cpu: cpu1
17    }
18}
19    size: 0x4000
20
21
22core2_mem: Memory.MappedMemory @ {
23    sysbus new Bus.BusPointRegistration {
24        address: 0x08000000;
25        cpu: cpu2
26    }
27}
28    size: 0x4000
29
30nvic1: IRQControllers.NVIC @ sysbus new Bus.BusPointRegistration {
31        address: 0xE000E000;
32        cpu: cpu1
33    }
34    priorityMask: 0xF0
35    systickFrequency: 72000000
36    -> cpu1@0
37
38nvic2: IRQControllers.NVIC @ sysbus new Bus.BusPointRegistration {
39        address: 0xE000E000;
40        cpu: cpu2
41    }
42    priorityMask: 0xF0
43    systickFrequency: 72000000
44    -> cpu2@0
45