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_HWSPINLOCK=y 36CONFIG_HWSPINLOCK_STM32=y 37CONFIG_DM_I2C=y 38CONFIG_SYS_I2C_STM32F7=y 39CONFIG_LED=y 40CONFIG_LED_GPIO=y 41CONFIG_DM_MMC=y 42CONFIG_STM32_SDMMC2=y 43CONFIG_PHY=y 44CONFIG_PHY_STM32_USBPHYC=y 45# CONFIG_PINCTRL_FULL is not set 46# CONFIG_SPL_PINCTRL_FULL is not set 47CONFIG_DM_PMIC=y 48# CONFIG_SPL_PMIC_CHILDREN is not set 49CONFIG_PMIC_STPMU1=y 50CONFIG_DM_REGULATOR_FIXED=y 51CONFIG_DM_REGULATOR_GPIO=y 52CONFIG_DM_REGULATOR_STM32_VREFBUF=y 53CONFIG_DM_REGULATOR_STPMU1=y 54CONFIG_SERIAL_RX_BUFFER=y 55CONFIG_STM32_SERIAL=y 56CONFIG_USB=y 57CONFIG_DM_USB=y 58CONFIG_USB_EHCI_HCD=y 59CONFIG_USB_EHCI_GENERIC=y 60CONFIG_USB_DWC2=y 61CONFIG_USB_GADGET=y 62CONFIG_USB_GADGET_MANUFACTURER="STMicroelectronics" 63CONFIG_USB_GADGET_VENDOR_NUM=0x0483 64CONFIG_USB_GADGET_PRODUCT_NUM=0x5720 65CONFIG_USB_GADGET_DWC2_OTG=y 66CONFIG_USB_GADGET_DOWNLOAD=y 67