7 select SPL_DM_SEQ_ALIAS
9 select SPL_GPIO_SUPPORT
10 select SPL_LIBCOMMON_SUPPORT
11 select SPL_LIBGENERIC_SUPPORT
13 select SPL_OF_TRANSLATE
16 select SPL_RESET_SUPPORT
17 select SPL_SERIAL_SUPPORT
19 select SPL_DRIVERS_MISC_SUPPORT
20 imply SPL_LIBDISK_SUPPORT
25 config TARGET_STM32MP1
26 bool "Support stm32mp1xx"
30 select SYSRESET_SYSCON
32 target STMicroelectronics SOC STM32MP1 family
33 STMicroelectronics MPU with core ARMv7
36 prompt "U-Boot base address"
39 configure the U-Boot base address
40 when DDR driver is used:
41 DDR + 1MB (0xC0100000)
43 config SYS_MMCSD_RAW_MODE_U_BOOT_PARTITION_MMC2
44 hex "Partition on MMC2 to use to load U-Boot from"
45 depends on SYS_MMCSD_RAW_MODE_U_BOOT_USE_PARTITION
48 Partition on the second MMC to load U-Boot from when the MMC is being
51 source "board/st/stm32mp1/Kconfig"