if STM32MP23X choice prompt "STM32MP23x board select" optional config TARGET_ST_STM32MP23X bool "STMicroelectronics STM32MP23x boards" imply BOOTSTAGE imply CMD_BOOTSTAGE help target the STMicroelectronics board with SOC STM32MP23x managed by board/st/stm32mp2 The difference between board are managed with devicetree endchoice config TEXT_BASE default 0x84000000 config PRE_CON_BUF_ADDR default 0x84800000 config PRE_CON_BUF_SZ default 4096 if DEBUG_UART # debug on USART2 by default config DEBUG_UART_BASE default 0x400e0000 endif source "board/st/stm32mp2/Kconfig" endif