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_CLK=y 23CONFIG_CMD_FUSE=y 24CONFIG_CMD_GPIO=y 25CONFIG_CMD_GPT=y 26CONFIG_CMD_I2C=y 27CONFIG_CMD_MMC=y 28CONFIG_CMD_USB=y 29CONFIG_CMD_USB_MASS_STORAGE=y 30CONFIG_CMD_PMIC=y 31CONFIG_CMD_REGULATOR=y 32CONFIG_CMD_EXT4_WRITE=y 33# CONFIG_SPL_DOS_PARTITION is not set 34CONFIG_DEFAULT_DEVICE_TREE="stm32mp157c-ev1" 35CONFIG_STM32_ADC=y 36CONFIG_DM_HWSPINLOCK=y 37CONFIG_HWSPINLOCK_STM32=y 38CONFIG_DM_I2C=y 39CONFIG_SYS_I2C_STM32F7=y 40CONFIG_LED=y 41CONFIG_LED_GPIO=y 42CONFIG_DM_MMC=y 43CONFIG_STM32_SDMMC2=y 44CONFIG_PHY=y 45CONFIG_PHY_STM32_USBPHYC=y 46# CONFIG_PINCTRL_FULL is not set 47# CONFIG_SPL_PINCTRL_FULL is not set 48CONFIG_DM_PMIC=y 49# CONFIG_SPL_PMIC_CHILDREN is not set 50CONFIG_PMIC_STPMU1=y 51CONFIG_DM_REGULATOR_FIXED=y 52CONFIG_DM_REGULATOR_GPIO=y 53CONFIG_DM_REGULATOR_STM32_VREFBUF=y 54CONFIG_DM_REGULATOR_STPMU1=y 55CONFIG_SERIAL_RX_BUFFER=y 56CONFIG_STM32_SERIAL=y 57CONFIG_USB=y 58CONFIG_DM_USB=y 59CONFIG_USB_EHCI_HCD=y 60CONFIG_USB_EHCI_GENERIC=y 61CONFIG_USB_DWC2=y 62CONFIG_USB_GADGET=y 63CONFIG_USB_GADGET_MANUFACTURER="STMicroelectronics" 64CONFIG_USB_GADGET_VENDOR_NUM=0x0483 65CONFIG_USB_GADGET_PRODUCT_NUM=0x5720 66CONFIG_USB_GADGET_DWC2_OTG=y 67CONFIG_USB_GADGET_DOWNLOAD=y 68