1memoryBrom: Memory.MappedMemory @ sysbus 0xFFFF0000
2    size: 0x10000
3
4memorySram: Memory.MappedMemory @ sysbus 0x0
5    size: 0x40000
6
7memoryRam: Memory.MappedMemory @ sysbus 0x40000000
8    size: 0x80000000
9
10uart0: UART.NS16550 @ sysbus 0x1C28000
11    wideRegisters: true
12    -> gic@0x1
13
14uart1: UART.NS16550 @ sysbus 0x1C28400
15    wideRegisters: true
16    -> gic@0x2
17
18uart2: UART.NS16550 @ sysbus 0x1C28800
19    wideRegisters: true
20    -> gic@0x3
21
22uart3: UART.NS16550 @ sysbus 0x1C28c00
23    wideRegisters: true
24    -> gic@0x4
25
26uart4: UART.NS16550 @ sysbus 0x1C29000
27    wideRegisters: true
28    -> gic@0x11
29
30uart5: UART.NS16550 @ sysbus 0x1C29400
31    wideRegisters: true
32    -> gic@0x12
33
34uart6: UART.NS16550 @ sysbus 0x1C29800
35    wideRegisters: true
36    -> gic@0x13
37
38uart7: UART.NS16550 @ sysbus 0x1C29c00
39    wideRegisters: true
40    -> gic@0x14
41
42usbEhci1: USBDeprecated.EHCIHostController @ sysbus <0x1C14000, +0x1000>
43    -> gic@0x27
44    ehciBaseAddress: 0x0
45    capabilityRegistersLength: 0x10
46
47usbHub: USBDeprecated.UsbHub @ usbEhci1 1
48
49usbEhci2: USBDeprecated.EHCIHostController @ sysbus <0x1C1C000, +0x1000>
50    -> gic@0x28
51    ehciBaseAddress: 0x0
52    capabilityRegistersLength: 0x10
53
54gic: IRQControllers.ARM_GenericInterruptController @ {
55        sysbus new Bus.BusMultiRegistration { address: 0x1C81000; size: 0x1000; region: "distributor" };
56        sysbus new Bus.BusMultiRegistration { address: 0x1C82000; size: 0x100; region: "cpuInterface" }
57    }
58    0 -> cpu@0
59    supportsTwoSecurityStates: false
60    architectureVersion: IRQControllers.ARM_GenericInterruptControllerVersion.GICv2
61
62// The cpuType, the frequency of the timer and the timer interrupt id are extracted from the legacy CPU.CortexA7 class
63cpu: CPU.ARMv7A @ sysbus
64    cpuType: "cortex-a15"
65    genericInterruptController: gic
66
67timer: Timers.ARM_GenericTimer @ cpu
68    frequency: 24000000
69    VirtualTimerIRQ -> gic#0@1
70
71uartSemihosting: UART.SemihostingUart @ cpu
72
73sunxiMmc0: SD.SunxiMMC @ sysbus 0x1C0F000
74    -> gic@32
75
76sunxiMmc1: SD.SunxiMMC @ sysbus 0x1C10000
77    -> gic@33
78
79sunxiMmc3: SD.SunxiMMC @ sysbus 0x1C12000
80    -> gic@35
81
82sunxiHstimer: Timers.SunxiHighSpeedTimer @ sysbus 0x1C60000
83    frequency: 100000000
84    [0-3] -> gic@[81-84]
85
86sunxiTimer: Timers.SunxiTimer @ sysbus 0x1C20C00
87    Timer0Irq -> gic@22
88    Timer1Irq -> gic@23
89
90sysbus:
91    init:
92        Tag <0x1C00000, 0x1C00FFF> "SRAM_CONTROLLER"
93        Tag <0x1C01000, 0x1C01FFF> "DRAM_CONTROLLER"
94        Tag <0x1C00024, 0x1C00027> "FEL_GPIO" 0xFFFFFFFF
95        Tag <0x1C0F000, 0x1C0FFFF> "SDC0"
96        Tag <0x1C20000, 0x1C203FF> "CCU"
97        Tag <0x1C03000, 0x1C03FFF> "NANDFLASHC"
98        Tag <0x1C02000, 0x1C02FFF> "DMAC"
99        Tag <0x1C11000, 0x1C11FFF> "SDC2"
100        Tag <0x1C05000, 0x1C05FFF> "SPI0"
101        Tag <0x1C13000, 0x1C13FFF> "USB0"
102
103