1 CONFIG_ARM=y 2 CONFIG_ARCH_STM32MP=y 3 CONFIG_SYS_MALLOC_F_LEN=0x2000 4 CONFIG_SPL_MMC_SUPPORT=y 5 CONFIG_SPL=y 6 CONFIG_TARGET_STM32MP1=y 7 CONFIG_DEFAULT_DEVICE_TREE="stm32mp157c-ed1" 8 CONFIG_DISTRO_DEFAULTS=y 9 CONFIG_SYS_MMCSD_RAW_MODE_U_BOOT_USE_PARTITION=y 10 CONFIG_SYS_MMCSD_RAW_MODE_U_BOOT_PARTITION=3 11 CONFIG_SPL_I2C_SUPPORT=y 12 CONFIG_SPL_POWER_SUPPORT=y 13 CONFIG_SYS_PROMPT="STM32MP> " 14 # CONFIG_CMD_BOOTD is not set 15 # CONFIG_CMD_ELF is not set 16 # CONFIG_CMD_IMI is not set 17 # CONFIG_CMD_XIMG is not set 18 # CONFIG_CMD_EXPORTENV is not set 19 # CONFIG_CMD_IMPORTENV is not set 20 CONFIG_CMD_MEMINFO=y 21 CONFIG_CMD_FUSE=y 22 CONFIG_CMD_GPIO=y 23 CONFIG_CMD_GPT=y 24 CONFIG_CMD_I2C=y 25 CONFIG_CMD_MMC=y 26 CONFIG_CMD_PMIC=y 27 CONFIG_CMD_REGULATOR=y 28 CONFIG_CMD_EXT4_WRITE=y 29 # CONFIG_SPL_DOS_PARTITION is not set 30 CONFIG_DM_I2C=y 31 CONFIG_SYS_I2C_STM32F7=y 32 CONFIG_DM_MMC=y 33 CONFIG_STM32_SDMMC2=y 34 # CONFIG_SPL_PINCTRL_FULL is not set 35 CONFIG_DM_PMIC=y 36 # CONFIG_SPL_PMIC_CHILDREN is not set 37 CONFIG_PMIC_STPMU1=y 38 CONFIG_DM_REGULATOR=y 39 CONFIG_DM_REGULATOR_GPIO=y 40 CONFIG_DM_REGULATOR_STM32_VREFBUF=y 41 CONFIG_DM_REGULATOR_STPMU1=y 42 CONFIG_STM32_SERIAL=y 43