1CONFIG_ARM=y 2CONFIG_ARCH_STI=y 3CONFIG_SYS_TEXT_BASE=0x7D600000 4CONFIG_NR_DRAM_BANKS=1 5CONFIG_ENV_SIZE=0x4000 6CONFIG_DEFAULT_DEVICE_TREE="stih410-b2260" 7CONFIG_IDENT_STRING="STMicroelectronics STiH410-B2260" 8CONFIG_DISTRO_DEFAULTS=y 9CONFIG_FIT=y 10CONFIG_FIT_VERBOSE=y 11CONFIG_USE_BOOTARGS=y 12CONFIG_BOOTARGS="console=ttyAS1,115200 CONSOLE=/dev/ttyAS1 consoleblank=0 root=/dev/mmcblk0p2 rootfstype=ext4 rw rootwait mem=992M@0x40000000 vmalloc=256m" 13# CONFIG_DISPLAY_CPUINFO is not set 14CONFIG_SYS_PROMPT="stih410-b2260 => " 15CONFIG_CMD_ASKENV=y 16CONFIG_CMD_GPT=y 17CONFIG_CMD_MMC=y 18CONFIG_CMD_USB=y 19CONFIG_CMD_TIME=y 20CONFIG_CMD_TIMER=y 21CONFIG_CMD_EXT4_WRITE=y 22# CONFIG_ISO_PARTITION is not set 23CONFIG_OF_CONTROL=y 24CONFIG_SYS_RELOC_GD_ENV_ADDR=y 25CONFIG_REGMAP=y 26CONFIG_SYSCON=y 27CONFIG_CLK=y 28CONFIG_USB_FUNCTION_FASTBOOT=y 29CONFIG_FASTBOOT_BUF_ADDR=0x40000000 30CONFIG_FASTBOOT_BUF_SIZE=0x3DF00000 31CONFIG_FASTBOOT_FLASH=y 32CONFIG_FASTBOOT_FLASH_MMC_DEV=0 33CONFIG_FASTBOOT_CMD_OEM_FORMAT=y 34CONFIG_MISC=y 35CONFIG_MMC_SDHCI=y 36CONFIG_MMC_SDHCI_STI=y 37CONFIG_DM_ETH=y 38CONFIG_PHY=y 39CONFIG_STI_USB_PHY=y 40CONFIG_PINCTRL=y 41CONFIG_STI_RESET=y 42CONFIG_STI_ASC_SERIAL=y 43CONFIG_SYSRESET=y 44CONFIG_TIMER=y 45CONFIG_USB=y 46CONFIG_USB_XHCI_HCD=y 47CONFIG_USB_XHCI_DWC3=y 48CONFIG_USB_EHCI_HCD=y 49CONFIG_USB_EHCI_GENERIC=y 50CONFIG_USB_OHCI_HCD=y 51CONFIG_USB_OHCI_GENERIC=y 52CONFIG_USB_DWC3=y 53CONFIG_USB_GADGET=y 54CONFIG_USB_GADGET_MANUFACTURER="STMicroelectronics" 55CONFIG_USB_GADGET_VENDOR_NUM=0x483 56CONFIG_USB_GADGET_PRODUCT_NUM=0x7270 57CONFIG_OF_LIBFDT_OVERLAY=y 58CONFIG_SPL_OF_LIBFDT=y 59