1cpu: CPU.CortexM @ sysbus
2    cpuType: "cortex-m4f"
3    nvic: nvic
4    PerformanceInMips: 120
5
6nvic: IRQControllers.NVIC @ sysbus 0xE000E000
7    -> cpu@0
8
9gcr: Miscellaneous.MAX32650_GCR @ sysbus 0x40000000
10    nvic: nvic
11
12wdt0: Timers.MAX32650_WDT @ sysbus 0x40003000
13    gcr: gcr
14    -> nvic@1
15
16wdt1: Timers.MAX32650_WDT @ sysbus 0x40003400
17    gcr: gcr
18    -> nvic@57
19
20timer0: Timers.MAX32650_Timer @ sysbus 0x40010000
21    gcr: gcr
22    -> nvic@5
23
24timer1: Timers.MAX32650_Timer @ sysbus 0x40011000
25    gcr: gcr
26    -> nvic@6
27
28tpu: Miscellaneous.MAX32650_TPU @ sysbus 0x40001000
29
30timer2: Timers.MAX32650_Timer @ sysbus 0x40012000
31    gcr: gcr
32    -> nvic@7
33
34timer3: Timers.MAX32650_Timer @ sysbus 0x40013000
35    gcr: gcr
36    -> nvic@8
37
38timer4: Timers.MAX32650_Timer @ sysbus 0x40014000
39    gcr: gcr
40    -> nvic@9
41
42timer5: Timers.MAX32650_Timer @ sysbus 0x40015000
43    gcr: gcr
44    -> nvic@10
45
46i2c0: I2C.MAX32650_I2C @ sysbus 0x4001D000
47    -> nvic@13
48
49i2c1: I2C.MAX32650_I2C @ sysbus 0x4001E000
50    -> nvic@36
51
52adc: Analog.MAX32650_ADC @ sysbus 0x40034000
53    -> nvic@20
54
55uart0: UART.MAX32650_UART @ sysbus 0x40042000
56    gcr: gcr
57    -> nvic@14
58
59uart1: UART.MAX32650_UART @ sysbus 0x40043000
60    gcr: gcr
61    -> nvic@15
62
63uart2: UART.MAX32650_UART @ sysbus 0x40044000
64    gcr: gcr
65    -> nvic@34
66
67spi0: SPI.MAX32650_SPI @ sysbus 0x40046000
68    numberOfSlaves: 1
69    -> nvic@16
70
71spi1: SPI.MAX32650_SPI @ sysbus 0x40047000
72    numberOfSlaves: 4
73    -> nvic@17
74
75spi2: SPI.MAX32650_SPI @ sysbus 0x40048000
76    numberOfSlaves: 4
77    -> nvic@18
78
79gpio0: GPIOPort.MAX32650_GPIO @ sysbus 0x40008000
80    numberOfPins: 32
81    IRQ -> nvic@24
82    WakeUpIRQ -> nvic@54
83
84gpio1: GPIOPort.MAX32650_GPIO @ sysbus 0x40009000
85    numberOfPins: 32
86    IRQ -> nvic@25
87    WakeUpIRQ -> nvic@54
88
89gpio2: GPIOPort.MAX32650_GPIO @ sysbus 0x4000A000
90    numberOfPins: 32
91    IRQ -> nvic@26
92    WakeUpIRQ -> nvic@54
93
94gpio3: GPIOPort.MAX32650_GPIO @ sysbus 0x4000B000
95    numberOfPins: 10
96    IRQ -> nvic@27
97    WakeUpIRQ -> nvic@54
98
99spi3: SPI.MAX32650_SPI @ sysbus 0x400BE000
100    numberOfSlaves: 4
101    -> nvic@56
102
103rtc: Timers.MAX32650_RTC @ sysbus 0x40006000
104    -> nvic@3
105
106pwrseq: Miscellaneous.MAX32650_PWRSEQ @ sysbus 0x40006800
107    rtc: rtc
108
109dwt: Miscellaneous.DWT @ sysbus 0xE0001000
110    frequency: 72000000
111
112flash: Memory.MappedMemory @ sysbus 0x10000000
113    size: 0x300000
114
115sram: Memory.MappedMemory @ sysbus 0x20000000
116    size: 0x100000
117
118bitbandPeripherals: Miscellaneous.BitBanding @ sysbus <0x42000000, +0x2000000>
119    peripheralBase: 0x40000000
120
121bitbandSram: Miscellaneous.BitBanding @ sysbus <0x22000000, +0x2000000>
122    peripheralBase: 0x20000000
123
124sysbus:
125    init:
126        ApplySVD @https://dl.antmicro.com/projects/renode/svd/MAX32650.svd.gz
127
128        Tag <0x40000400 0x0400> "SI Registers"
129        Tag <0x40000800 0x0400> "Function Control Registers"
130        Tag <0x40003000 0x0400> "Watchdog Timer 0"
131        Tag <0x40003400 0x0400> "Watchdog Timer 1"
132        Tag <0x40004000 0x0400> "Security Monitor"
133        Tag <0x40005000 0x0400> "AES Keys"
134        Tag <0x40005800 0x0400> "SIR HyperBus/Xccela Bus"
135        Tag <0x40008000 0x1000> "GPIO Port 0"
136        Tag <0x40009000 0x1000> "GPIO Port 1"
137        Tag <0x4000A000 0x1000> "GPIO Port 2"
138        Tag <0x4000B000 0x1000> "GPIO Port 3"
139        Tag <0x40018000 0x1000> "I2S"
140        Tag <0x4001D000 0x1000> "I2C 0"
141        Tag <0x4001E000 0x1000> "I2C 1"
142        Tag <0x40026000 0x1000> "SPIXF Master"
143        Tag <0x40027000 0x1000> "SPIXF Master Controller"
144        Tag <0x40028000 0x1000> "Standard DMA"
145        Tag <0x40029000 0x0400> "Flash Controller"
146        Tag <0x4002A000 0x1000> "I-Cache Controller 0"
147        Tag <0x4002A100 0x4> "ICC0_CACHE_CTRL" 0x10001
148        Tag <0x4002F000 0x1000> "I-Cache Controller 1"
149        Tag <0x4002F100 0x4> "ICC1_CACHE_CTRL" 0x10001
150        Tag <0x40031000 0x1000> "Color LCD Controller"
151        Tag <0x40033000 0x1000> "D-Cache Controller"
152        Tag <0x40036000 0x1000> "Smart DMA"
153        Tag <0x40037000 0x1000> "SD/SDIO/SDHC/MMC Controller"
154        Tag <0x40039000 0x1000> "HyperBus/Xccela Bus Controller"
155        Tag <0x4003A000 0x1000> "SPIXR Master Controller"
156        Tag <0x4003C000 0x1000> "Pulse Trains"
157        Tag <0x4003D000 0x1000> "1-Wire"
158        Tag <0x4003E000 0x1000> "Semaphores"
159        Tag <0x400B1000 0x1000> "USB 2.0 High Speed"
160        Tag <0x400B5000 0x1000> "True Random Number Generator"
161        Tag <0x400B6000 0x1000> "SD/SDIO/SDHC/MMC Controller"
162        Tag <0x400BC000 0x1000> "SPIXF Master Controller FIFO"
163
164        Tag <0x08000000 0x08000000> "External SPI Flash"
165        Tag <0x60000000 0x20000000> "External HyperBus/Xccela Bus Memory"
166        Tag <0x80000000 0x20000000> "External SPI SRAM"
167