1CONFIG_ARM=y 2CONFIG_ARCH_STM32MP=y 3CONFIG_SYS_MALLOC_F_LEN=0x2000 4CONFIG_SPL_MMC_SUPPORT=y 5CONFIG_SPL=y 6CONFIG_TARGET_STM32MP1=y 7CONFIG_DISTRO_DEFAULTS=y 8CONFIG_NR_DRAM_BANKS=1 9CONFIG_SYS_MMCSD_RAW_MODE_U_BOOT_USE_PARTITION=y 10CONFIG_SYS_MMCSD_RAW_MODE_U_BOOT_PARTITION=3 11CONFIG_SPL_I2C_SUPPORT=y 12CONFIG_SPL_POWER_SUPPORT=y 13CONFIG_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 20CONFIG_CMD_MEMINFO=y 21CONFIG_CMD_ADC=y 22CONFIG_CMD_FUSE=y 23CONFIG_CMD_GPIO=y 24CONFIG_CMD_GPT=y 25CONFIG_CMD_I2C=y 26CONFIG_CMD_MMC=y 27CONFIG_CMD_USB=y 28CONFIG_CMD_USB_MASS_STORAGE=y 29CONFIG_CMD_PMIC=y 30CONFIG_CMD_REGULATOR=y 31CONFIG_CMD_EXT4_WRITE=y 32# CONFIG_SPL_DOS_PARTITION is not set 33CONFIG_DEFAULT_DEVICE_TREE="stm32mp157c-ev1" 34CONFIG_STM32_ADC=y 35CONFIG_DM_I2C=y 36CONFIG_SYS_I2C_STM32F7=y 37CONFIG_LED=y 38CONFIG_LED_GPIO=y 39CONFIG_DM_MMC=y 40CONFIG_STM32_SDMMC2=y 41CONFIG_PHY=y 42CONFIG_PHY_STM32_USBPHYC=y 43# CONFIG_PINCTRL_FULL is not set 44# CONFIG_SPL_PINCTRL_FULL is not set 45CONFIG_DM_PMIC=y 46# CONFIG_SPL_PMIC_CHILDREN is not set 47CONFIG_PMIC_STPMU1=y 48CONFIG_DM_REGULATOR_FIXED=y 49CONFIG_DM_REGULATOR_GPIO=y 50CONFIG_DM_REGULATOR_STM32_VREFBUF=y 51CONFIG_DM_REGULATOR_STPMU1=y 52CONFIG_SERIAL_RX_BUFFER=y 53CONFIG_STM32_SERIAL=y 54CONFIG_USB=y 55CONFIG_DM_USB=y 56CONFIG_USB_EHCI_HCD=y 57CONFIG_USB_EHCI_GENERIC=y 58CONFIG_USB_DWC2=y 59CONFIG_USB_STORAGE=y 60CONFIG_USB_GADGET=y 61CONFIG_USB_GADGET_MANUFACTURER="STMicroelectronics" 62CONFIG_USB_GADGET_VENDOR_NUM=0x0483 63CONFIG_USB_GADGET_PRODUCT_NUM=0x5720 64CONFIG_USB_GADGET_DWC2_OTG=y 65CONFIG_USB_GADGET_DOWNLOAD=y 66