1using "./stm32f4.repl"
2
3cpu:
4    cpuType: "cortex-m4f"
5
6timer2:
7    frequency: 50000000
8
9timer3:
10    frequency: 50000000
11
12timer4:
13    frequency: 50000000
14
15timer5:
16    frequency: 50000000
17
18timer6:
19    frequency: 50000000
20
21timer7:
22    frequency: 50000000
23
24timer12:
25    frequency: 50000000
26
27timer13:
28    frequency: 50000000
29
30timer14:
31    frequency: 50000000
32
33usart6: UART.STM32_UART @ sysbus <0x40011400, +0x400>
34    -> nvic@71
35
36spi5i2s5: SPI.STM32SPI @ sysbus 0x40015000
37    IRQ -> nvic@85
38
39i2cfmp1: I2C.STM32F7_I2C @ sysbus 0x40006000
40    EventInterrupt -> nvic@95
41    ErrorInterrupt -> nvic@96
42
43sysbus:
44    init:
45        Tag <0xA0001000, 0xA0001FFF> "QuadSPI_control_register"
46        Tag <0xA0000000, 0xA0000FFF> "FSMC_control_register"
47        Tag <0x90000000, 0x9FFFFFFF> "QuadSPI"
48        Tag <0x50000000, 0x5003FFFF> "USB_OTG_FS"
49        Tag <0x40016000, 0x400163FF> "DFSDM1"
50        Tag <0x40012C00, 0x40012FFF> "SDIO"
51        Tag <0x40002C00, 0x40002FFF> "WWDG"
52