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