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 imply SPL_LIBDISK_SUPPORT
24 config TARGET_STM32MP1
25 bool "Support stm32mp1xx"
30 target STMicroelectronics SOC STM32MP1 family
31 STMicroelectronics MPU with core ARMv7
34 prompt "U-Boot base address"
37 configure the U-Boot base address
38 when DDR driver is used:
39 DDR + 1MB (0xC0100000)
41 source "board/st/stm32mp1/Kconfig"