| if STM32MP13x |
| |
| choice |
| prompt "STM32MP13x board select" |
| optional |
| |
| config TARGET_ST_STM32MP13x |
| bool "STMicroelectronics STM32MP13x boards" |
| imply BOOTSTAGE |
| imply CMD_BOOTSTAGE |
| imply CMD_CLS if CMD_BMP |
| imply DISABLE_CONSOLE |
| imply PRE_CONSOLE_BUFFER |
| imply SILENT_CONSOLE |
| help |
| target the STMicroelectronics board with SOC STM32MP13x |
| managed by board/st/stm32mp1. |
| The difference between board are managed with devicetree |
| |
| endchoice |
| |
| config SYS_TEXT_BASE |
| default 0xC0000000 |
| |
| config PRE_CON_BUF_ADDR |
| default 0xC0800000 |
| |
| config PRE_CON_BUF_SZ |
| default 4096 |
| |
| config BOOTSTAGE_STASH_ADDR |
| default 0xC3000000 |
| |
| if BOOTCOUNT_GENERIC |
| config SYS_BOOTCOUNT_SINGLEWORD |
| default y |
| |
| # TAMP_BOOTCOUNT = TAMP_BACKUP_REGISTER(31) |
| config SYS_BOOTCOUNT_ADDR |
| default 0x5C00A17C |
| endif |
| |
| if DEBUG_UART |
| |
| # debug on UART4 by default |
| config DEBUG_UART_BASE |
| default 0x40010000 |
| |
| # clock source is HSI on reset |
| config DEBUG_UART_CLOCK |
| default 48000000 if STM32_FPGA |
| default 64000000 |
| endif |
| |
| source "board/st/stm32mp1/Kconfig" |
| |
| endif |