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
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
35 select SYSRESET_SYSCON
37 target STMicroelectronics SOC STM32MP1 family
38 STMicroelectronics MPU with core ARMv7
41 prompt "U-Boot base address"
44 configure the U-Boot base address
45 when DDR driver is used:
46 DDR + 1MB (0xC0100000)
48 config SYS_MMCSD_RAW_MODE_U_BOOT_PARTITION_MMC2
49 hex "Partition on MMC2 to use to load U-Boot from"
50 depends on SYS_MMCSD_RAW_MODE_U_BOOT_USE_PARTITION
53 Partition on the second MMC to load U-Boot from when the MMC is being
56 source "board/st/stm32mp1/Kconfig"
58 # currently activated for debug / should be deactivated for real product
61 config DEBUG_UART_BOARD_INIT
64 # debug on UART4 by default
65 config DEBUG_UART_BASE
68 # clock source is HSI on reset
69 config DEBUG_UART_CLOCK