7 select SPL_DM_SEQ_ALIAS
8 select SPL_DRIVERS_MISC_SUPPORT
10 select SPL_GPIO_SUPPORT
11 select SPL_LIBCOMMON_SUPPORT
12 select SPL_LIBGENERIC_SUPPORT
14 select SPL_OF_TRANSLATE
18 select SPL_SERIAL_SUPPORT
20 select SPL_WATCHDOG_SUPPORT
21 imply BOOTSTAGE_STASH if SPL_BOOTSTAGE
22 imply SPL_BOOTSTAGE if BOOTSTAGE
23 imply SPL_DISPLAY_PRINT
24 imply SPL_LIBDISK_SUPPORT
35 config TARGET_STM32MP1
36 bool "Support stm32mp1xx"
37 select ARCH_SUPPORT_PSCI if !STM32MP1_TRUSTED
39 select CPU_V7_HAS_NONSEC if !STM32MP1_TRUSTED
40 select CPU_V7_HAS_VIRT
51 imply SYSRESET_PSCI if STM32MP1_TRUSTED
52 imply SYSRESET_SYSCON if !STM32MP1_TRUSTED
54 target STMicroelectronics SOC STM32MP1 family
55 STM32MP157, STM32MP153 or STM32MP151
56 STMicroelectronics MPU with core ARMv7
57 dual core A7 for STM32MP157/3, monocore for STM32MP151
59 config STM32MP1_TRUSTED
60 bool "Support trusted boot with TF-A"
64 Say Y here to enable boot with TF-A
65 Trusted boot chain is :
66 BootRom => TF-A.stm32 (clock & DDR) => U-Boot.stm32
67 TF-A monitor provides proprietary SMC to manage secure devices
70 bool "Support trusted boot with TF-A and OP-TEE"
71 depends on STM32MP1_TRUSTED
74 Say Y here to enable boot with TF-A and OP-TEE
75 Trusted boot chain is :
76 BootRom => TF-A.stm32 (clock & DDR) => OP-TEE => U-Boot.stm32
77 OP-TEE monitor provides ST SMC to access to secure resources
80 prompt "U-Boot base address"
83 configure the U-Boot base address
84 when DDR driver is used:
85 DDR + 1MB (0xC0100000)
90 config SYS_MMCSD_RAW_MODE_U_BOOT_PARTITION_MMC2
91 hex "Partition on MMC2 to use to load U-Boot from"
92 depends on SYS_MMCSD_RAW_MODE_U_BOOT_USE_PARTITION
95 Partition on the second MMC to load U-Boot from when the MMC is being
99 bool "STM32 Extended TrustZone Protection"
100 depends on TARGET_STM32MP1
103 Say y to enable STM32 Extended TrustZone Protection
106 bool "command stm32key to fuse public key hash"
110 fuse public key hash in corresponding fuse used to authenticate
113 config BOOTSTAGE_STASH_ADDR
117 config SYS_BOOTCOUNT_SINGLEWORD
120 # TAMP_BOOTCOUNT = TAMP_BACKUP_REGISTER(21)
121 config SYS_BOOTCOUNT_ADDR
127 config DEBUG_UART_BOARD_INIT
130 # debug on UART4 by default
131 config DEBUG_UART_BASE
134 # clock source is HSI on reset
135 config DEBUG_UART_CLOCK
139 source "board/st/stm32mp1/Kconfig"