4 prompt "STM32MP13x board select"
7 config TARGET_ST_STM32MP13x
8 bool "STMicroelectronics STM32MP13x boards"
11 imply CMD_CLS if CMD_BMP
13 imply PRE_CONSOLE_BUFFER
16 target the STMicroelectronics board with SOC STM32MP13x
17 managed by board/st/stm32mp1.
18 The difference between board are managed with devicetree
25 config PRE_CON_BUF_ADDR
31 config BOOTSTAGE_STASH_ADDR
35 config SYS_BOOTCOUNT_SINGLEWORD
38 # TAMP_BOOTCOUNT = TAMP_BACKUP_REGISTER(31)
39 config SYS_BOOTCOUNT_ADDR
45 # debug on UART4 by default
46 config DEBUG_UART_BASE
49 # clock source is HSI on reset
50 config DEBUG_UART_CLOCK
51 default 48000000 if STM32_FPGA
55 source "board/st/stm32mp1/Kconfig"