u-boot/arch/arm/mach-stm32mp/Kconfig

if ARCH_STM32MP

config SPL
	select SPL_BOARD_INIT
	select SPL_CLK
	select SPL_DM
	select SPL_DM_SEQ_ALIAS
	select SPL_FRAMEWORK
	select SPL_GPIO_SUPPORT
	select SPL_LIBCOMMON_SUPPORT
	select SPL_LIBGENERIC_SUPPORT
	select SPL_OF_CONTROL
	select SPL_OF_TRANSLATE
	select SPL_PINCTRL
	select SPL_REGMAP
	select SPL_RESET_SUPPORT
	select SPL_SERIAL_SUPPORT
	select SPL_SYSCON
	imply SPL_LIBDISK_SUPPORT

config SYS_SOC
	default "stm32mp"

config TARGET_STM32MP1
	bool "Support stm32mp1xx"
	select CPU_V7
	select PINCTRL_STM32
	select STM32_RESET
	help
		target STMicroelectronics SOC STM32MP1 family
		STMicroelectronics MPU with core ARMv7

config SYS_TEXT_BASE
	prompt "U-Boot base address"
	default 0xC0100000
	help
		configure the U-Boot base address
		when DDR driver is used:
		  DDR + 1MB (0xC0100000)

source "board/st/stm32mp1/Kconfig"

endif