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"
31 select SYSRESET_SYSCON
33 target STMicroelectronics SOC STM32MP1 family
34 STMicroelectronics MPU with core ARMv7
37 prompt "U-Boot base address"
40 configure the U-Boot base address
41 when DDR driver is used:
42 DDR + 1MB (0xC0100000)
44 config SYS_MMCSD_RAW_MODE_U_BOOT_PARTITION_MMC2
45 hex "Partition on MMC2 to use to load U-Boot from"
46 depends on SYS_MMCSD_RAW_MODE_U_BOOT_USE_PARTITION
49 Partition on the second MMC to load U-Boot from when the MMC is being
52 source "board/st/stm32mp1/Kconfig"