1flash0: Memory.MappedMemory @ sysbus 0x8000000
2    size: 0x40000
3
4sram0: Memory.MappedMemory @ sysbus 0x20000000
5    size: 0x10000
6
7timers4: Timers.STM32_Timer @ sysbus <0x40000800, +0x400>
8    frequency: 10000000
9    initialLimit: 0xffffffff
10    ->nvic0@30
11
12usart1: UART.STM32_UART @ sysbus <0x40011000, +0x400>
13    ->nvic0@37
14
15gpioa: GPIOPort.STM32_GPIOPort @ sysbus <0x40020000, +0x400>
16
17gpiob: GPIOPort.STM32_GPIOPort @ sysbus <0x40020400, +0x400>
18
19gpioc: GPIOPort.STM32_GPIOPort @ sysbus <0x40020800, +0x400>
20
21gpiod: GPIOPort.STM32_GPIOPort @ sysbus <0x40020c00, +0x400>
22
23gpioe: GPIOPort.STM32_GPIOPort @ sysbus <0x40021000, +0x400>
24
25gpiof: GPIOPort.STM32_GPIOPort @ sysbus <0x40021400, +0x400>
26
27gpiog: GPIOPort.STM32_GPIOPort @ sysbus <0x40021800, +0x400>
28
29gpioh: GPIOPort.STM32_GPIOPort @ sysbus <0x40021c00, +0x400>
30
31// autogenerated
32
33userled: Miscellaneous.LED @ gpioc 0xd
34    invert: true
35
36gpioc:
37    13 -> userled@0
38
39nvic0: IRQControllers.NVIC @ {
40    sysbus new Bus.BusPointRegistration { address: 0xe000e000; cpu: cpu0 }
41}
42    -> cpu0@0
43
44cpu0: CPU.CortexM @ sysbus
45    cpuType: "cortex-m4f"
46    nvic: nvic0
47
48i2c1: I2C.STM32F4_I2C @ sysbus 0x40005400
49    EventInterrupt->nvic0@31
50    ErrorInterrupt->nvic0@32
51
52rtc: Timers.STM32F4_RTC @ sysbus 0x40002800
53    AlarmIRQ->nvic0@41
54
55rcc: Miscellaneous.STM32F4_RCC @ sysbus 0x40023800
56    rtcPeripheral: rtc
57
58spi1: SPI.STM32SPI @ sysbus 0x40013000
59    IRQ->nvic0@35
60
61adc1: Analog.STM32_ADC @ sysbus 0x40012000
62    IRQ->nvic0@18
63
64// st,stm32f4 overlay
65
66sysbus:
67    init:
68        ApplySVD @https://dl.antmicro.com/projects/renode/svd/STM32F40x.svd.gz
69
70// cortex-m overlay
71
72dwt: Miscellaneous.DWT @ sysbus 0xE0001000
73    frequency: 72000000
74
75systemc: SystemC.SystemCPeripheral @ sysbus <0x9000000, +0xffffff>
76    address: "127.0.0.1"
77    timeSyncPeriodUS: 5000
78    0 -> nvic0@55
79    1 -> nvic0@56
80