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"
27 select ARCH_SUPPORT_PSCI
29 select CPU_V7_HAS_NONSEC
30 select CPU_V7_HAS_VIRT
34 select SYSRESET_SYSCON
36 target STMicroelectronics SOC STM32MP1 family
37 STMicroelectronics MPU with core ARMv7
40 prompt "U-Boot base address"
43 configure the U-Boot base address
44 when DDR driver is used:
45 DDR + 1MB (0xC0100000)
47 config SYS_MMCSD_RAW_MODE_U_BOOT_PARTITION_MMC2
48 hex "Partition on MMC2 to use to load U-Boot from"
49 depends on SYS_MMCSD_RAW_MODE_U_BOOT_USE_PARTITION
52 Partition on the second MMC to load U-Boot from when the MMC is being
55 source "board/st/stm32mp1/Kconfig"
57 # currently activated for debug / should be deactivated for real product
60 config DEBUG_UART_BOARD_INIT
63 # debug on UART4 by default
64 config DEBUG_UART_BASE
67 # clock source is HSI on reset
68 config DEBUG_UART_CLOCK