1if STM32MP13X 2 3choice 4 prompt "STM32MP13x board select" 5 optional 6 7config TARGET_ST_STM32MP13X 8 bool "STMicroelectronics STM32MP13x boards" 9 imply BOOTSTAGE 10 imply CMD_BOOTSTAGE 11 imply CMD_CLS if CMD_BMP 12 imply DISABLE_CONSOLE 13 imply PRE_CONSOLE_BUFFER 14 imply SILENT_CONSOLE 15 help 16 target the STMicroelectronics board with SOC STM32MP13x 17 managed by board/st/stm32mp1. 18 The difference between board are managed with devicetree 19 20endchoice 21 22config TEXT_BASE 23 default 0xC0000000 24 25config PRE_CON_BUF_ADDR 26 default 0xC0800000 27 28config PRE_CON_BUF_SZ 29 default 4096 30 31config BOOTSTAGE_STASH_ADDR 32 default 0xC3000000 33 34if BOOTCOUNT_GENERIC 35config SYS_BOOTCOUNT_SINGLEWORD 36 default y 37 38# TAMP_BOOTCOUNT = TAMP_BACKUP_REGISTER(31) 39config SYS_BOOTCOUNT_ADDR 40 default 0x5C00A17C 41endif 42 43if DEBUG_UART 44 45# debug on UART4 by default 46config DEBUG_UART_BASE 47 default 0x40010000 48 49# clock source is HSI on reset 50config DEBUG_UART_CLOCK 51 default 48000000 if STM32_FPGA 52 default 64000000 53endif 54 55source "board/st/stm32mp1/Kconfig" 56 57endif 58