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_DRIVERS_MISC_SUPPORT
21 imply SPL_LIBDISK_SUPPORT
26 config TARGET_STM32MP1
27 bool "Support stm32mp1xx"
28 select ARCH_SUPPORT_PSCI
30 select CPU_V7_HAS_NONSEC
31 select CPU_V7_HAS_VIRT
36 select SYSRESET_SYSCON
38 target STMicroelectronics SOC STM32MP1 family
39 STMicroelectronics MPU with core ARMv7
42 prompt "U-Boot base address"
45 configure the U-Boot base address
46 when DDR driver is used:
47 DDR + 1MB (0xC0100000)
49 config SYS_MMCSD_RAW_MODE_U_BOOT_PARTITION_MMC2
50 hex "Partition on MMC2 to use to load U-Boot from"
51 depends on SYS_MMCSD_RAW_MODE_U_BOOT_USE_PARTITION
54 Partition on the second MMC to load U-Boot from when the MMC is being
57 source "board/st/stm32mp1/Kconfig"
59 # currently activated for debug / should be deactivated for real product
62 config DEBUG_UART_BOARD_INIT
65 # debug on UART4 by default
66 config DEBUG_UART_BASE
69 # clock source is HSI on reset
70 config DEBUG_UART_CLOCK