1cpu: CPU.ARMv8R @ sysbus
2    cpuType: "cortex-r52"
3    genericInterruptController: gic
4
5gic: IRQControllers.ARM_GenericInterruptController @ {
6        sysbus new Bus.BusMultiRegistration { address: 0x94000000; size: 0x10000; region: "distributor" };
7        sysbus new IRQControllers.ArmGicRedistributorRegistration { attachedCPU: cpu; address: 0x94100000 }
8    }
9    [0,1] -> cpu@[0,1]
10    supportsTwoSecurityStates: false
11    architectureVersion: IRQControllers.ARM_GenericInterruptControllerVersion.GICv3
12
13timer: Timers.ARM_GenericTimer @ cpu
14    frequency: 20000000
15    EL1PhysicalTimerIRQ -> gic#0@30
16    EL1VirtualTimerIRQ -> gic#0@27
17    NonSecureEL2PhysicalTimerIRQ -> gic#0@26
18
19dram0: Memory.MappedMemory @ sysbus 0x0
20    size: 0x08000000
21
22sram0: Memory.MappedMemory @ sysbus 0x10000000
23    size: 0x180000
24
25flash0: Memory.MappedMemory @ sysbus 0x88000000
26    size: 0x04000000
27
28gpio: GPIOPort.Renesas_GPIO @ { sysbus 0x800A0000; sysbus 0x81030000 }
29
30sci0: UART.Renesas_SCI @ sysbus 0x80001000
31    RxIRQ -> gic@289
32    TxIRQ -> gic@290
33    TxEndIRQ -> gic@291
34
35sci1: UART.Renesas_SCI @ sysbus 0x80001400
36
37sci2: UART.Renesas_SCI @ sysbus 0x80001800
38
39sci3: UART.Renesas_SCI @ sysbus 0x80001c00
40
41sci4: UART.Renesas_SCI @ sysbus 0x80002000
42
43sci5: UART.Renesas_SCI @ sysbus 0x81001000
44
45sysbus:
46    init:
47        Tag <0x00000000 0x80000> "CPU0 ATCM"
48        Tag <0x00100000 0x10000> "CPU0 BTCM"
49        Tag <0x10000000 0x180000> "System RAM"
50        Tag <0x11000000 0x10000> "Area for Boot ROM"
51        Tag <0x20000000 0x80000> "CPU0 ATCM via AXIS"
52        Tag <0x20100000 0x80000> "CPU0 BTCM via AXIS"
53        Tag <0x30000000 0x180000> "Mirror area of System RAM"
54        Tag <0x40000000 0x8000000> "Mirror area of external address space XSPI0"
55        Tag <0x48000000 0x8000000> "Mirror area of external address space XSPI1"
56        Tag <0x50000000 0x10000000> "Mirror area of external address space CS0, 2, 3, 5"
57        Tag <0x60000000 0x8000000> "External address space xSPI0"
58        Tag <0x68000000 0x8000000> "External address space xSPI1"
59        Tag <0x70000000 0x10000000> "External address space CS0, 2, 3, 5"
60        Tag <0x80000000 0x1000000> "Non-Safety Peripheral"
61        Tag <0x80280000 0x320> "SYSC_NS"
62        Tag <0x80281A10 0x4> "RWP_NS"
63        Tag <0x81000000 0x1000000> "Safety Peripheral"
64        Tag <0x81030C00 0x19> "PTADR"
65        Tag <0x81280000 0x320> "SYSC_S"
66        Tag <0x81281A00 0x4> "RWP_S"
67        Tag <0x81280800 0x75> "CLMAm"
68        Tag <0x90000000 0x200000> "LLPP Peripheral"
69        Tag <0x94000000 0x200000> "GIC0"
70        Tag <0x9C000000 0x200000> "GIC1"
71        Tag <0xA0000000 0x1000000> "Encoder IF area"
72        Tag <0xC0000000 0x1000000> "Debug Private"
73