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
50 imply SYSRESET_PSCI if STM32MP1_TRUSTED
51 imply SYSRESET_SYSCON if !STM32MP1_TRUSTED
53 target STMicroelectronics SOC STM32MP1 family
54 STM32MP157, STM32MP153 or STM32MP151
55 STMicroelectronics MPU with core ARMv7
56 dual core A7 for STM32MP157/3, monocore for STM32MP151
58 config STM32MP1_TRUSTED
59 bool "Support trusted boot with TF-A"
63 Say Y here to enable boot with TF-A
64 Trusted boot chain is :
65 BootRom => TF-A.stm32 (clock & DDR) => U-Boot.stm32
66 TF-A monitor provides proprietary SMC to manage secure devices
69 bool "Support trusted boot with TF-A and OP-TEE"
70 depends on STM32MP1_TRUSTED
73 Say Y here to enable boot with TF-A and OP-TEE
74 Trusted boot chain is :
75 BootRom => TF-A.stm32 (clock & DDR) => OP-TEE => U-Boot.stm32
76 OP-TEE monitor provides ST SMC to access to secure resources
79 prompt "U-Boot base address"
82 configure the U-Boot base address
83 when DDR driver is used:
84 DDR + 1MB (0xC0100000)
89 config SYS_MMCSD_RAW_MODE_U_BOOT_PARTITION_MMC2
90 hex "Partition on MMC2 to use to load U-Boot from"
91 depends on SYS_MMCSD_RAW_MODE_U_BOOT_USE_PARTITION
94 Partition on the second MMC to load U-Boot from when the MMC is being
98 bool "STM32 Extended TrustZone Protection"
99 depends on TARGET_STM32MP1
102 Say y to enable STM32 Extended TrustZone Protection
105 bool "command stm32key to fuse public key hash"
109 fuse public key hash in corresponding fuse used to authenticate
112 config BOOTSTAGE_STASH_ADDR
116 config SYS_BOOTCOUNT_SINGLEWORD
119 # TAMP_BOOTCOUNT = TAMP_BACKUP_REGISTER(21)
120 config SYS_BOOTCOUNT_ADDR
126 config DEBUG_UART_BOARD_INIT
129 # debug on UART4 by default
130 config DEBUG_UART_BASE
133 # clock source is HSI on reset
134 config DEBUG_UART_CLOCK
138 source "board/st/stm32mp1/Kconfig"