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
49 imply SYSRESET_PSCI if STM32MP1_TRUSTED
50 imply SYSRESET_SYSCON if !STM32MP1_TRUSTED
52 target STMicroelectronics SOC STM32MP1 family
53 STM32MP157, STM32MP153 or STM32MP151
54 STMicroelectronics MPU with core ARMv7
55 dual core A7 for STM32MP157/3, monocore for STM32MP151
57 config STM32MP1_TRUSTED
58 bool "Support trusted boot with TF-A"
62 Say Y here to enable boot with TF-A
63 Trusted boot chain is :
64 BootRom => TF-A.stm32 (clock & DDR) => U-Boot.stm32
65 TF-A monitor provides proprietary SMC to manage secure devices
68 bool "Support trusted boot with TF-A and OP-TEE"
69 depends on STM32MP1_TRUSTED
72 Say Y here to enable boot with TF-A and OP-TEE
73 Trusted boot chain is :
74 BootRom => TF-A.stm32 (clock & DDR) => OP-TEE => U-Boot.stm32
75 OP-TEE monitor provides ST SMC to access to secure resources
78 prompt "U-Boot base address"
81 configure the U-Boot base address
82 when DDR driver is used:
83 DDR + 1MB (0xC0100000)
88 config SYS_MMCSD_RAW_MODE_U_BOOT_PARTITION_MMC2
89 hex "Partition on MMC2 to use to load U-Boot from"
90 depends on SYS_MMCSD_RAW_MODE_U_BOOT_USE_PARTITION
93 Partition on the second MMC to load U-Boot from when the MMC is being
97 bool "STM32 Extended TrustZone Protection"
98 depends on TARGET_STM32MP1
101 Say y to enable STM32 Extended TrustZone Protection
104 bool "command stm32key to fuse public key hash"
108 fuse public key hash in corresponding fuse used to authenticate
111 config BOOTSTAGE_STASH_ADDR
115 config SYS_BOOTCOUNT_SINGLEWORD
118 # TAMP_BOOTCOUNT = TAMP_BACKUP_REGISTER(21)
119 config SYS_BOOTCOUNT_ADDR
125 config DEBUG_UART_BOARD_INIT
128 # debug on UART4 by default
129 config DEBUG_UART_BASE
132 # clock source is HSI on reset
133 config DEBUG_UART_CLOCK
137 source "board/st/stm32mp1/Kconfig"