CONFIG_ARM=y
  CONFIG_ARCH_STI=y
  CONFIG_SYS_TEXT_BASE=0x7D600000
  CONFIG_IDENT_STRING="STMicroelectronics STiH410-B2260"
  CONFIG_DEFAULT_DEVICE_TREE="stih410-b2260"
  CONFIG_DISTRO_DEFAULTS=y
  CONFIG_FIT=y
  CONFIG_FIT_VERBOSE=y
  CONFIG_USE_BOOTARGS=y
  CONFIG_BOOTARGS="console=ttyAS1,115200 CONSOLE=/dev/ttyAS1 consoleblank=0 root=/dev/mmcblk0p2 rootfstype=ext4 rw rootwait mem=992M@0x40000000 vmalloc=256m"
  # CONFIG_DISPLAY_CPUINFO is not set
  CONFIG_SYS_PROMPT="stih410-b2260 => "
  CONFIG_FASTBOOT=y
  CONFIG_FASTBOOT_BUF_ADDR=0x40000000
  CONFIG_FASTBOOT_BUF_SIZE=0x3DF00000
  CONFIG_FASTBOOT_FLASH=y
  CONFIG_FASTBOOT_FLASH_MMC_DEV=0
  CONFIG_CMD_GPT=y
  CONFIG_CMD_MMC=y
  CONFIG_CMD_USB=y
  CONFIG_CMD_TIME=y
  CONFIG_CMD_TIMER=y
  CONFIG_CMD_EXT4_WRITE=y
  # CONFIG_ISO_PARTITION is not set
  CONFIG_OF_CONTROL=y
  CONFIG_REGMAP=y
  CONFIG_SYSCON=y
  CONFIG_CLK=y
  CONFIG_MISC=y
  CONFIG_MMC_SDHCI=y
  CONFIG_MMC_SDHCI_STI=y
  CONFIG_PHY=y
  CONFIG_STI_USB_PHY=y
  CONFIG_PINCTRL=y
  CONFIG_STI_RESET=y
  CONFIG_STI_ASC_SERIAL=y
  CONFIG_SYSRESET=y
  CONFIG_TIMER=y
  CONFIG_USB=y
  CONFIG_DM_USB=y
  CONFIG_USB_XHCI_HCD=y
  CONFIG_USB_XHCI_DWC3=y
  CONFIG_USB_EHCI_HCD=y
  CONFIG_USB_EHCI_GENERIC=y
  CONFIG_USB_OHCI_HCD=y
  CONFIG_USB_OHCI_GENERIC=y
  CONFIG_USB_DWC3=y
  CONFIG_USB_DWC3_GADGET=y
  CONFIG_USB_STORAGE=y
  CONFIG_USB_GADGET=y
  CONFIG_USB_GADGET_MANUFACTURER="STMicroelectronics"
  CONFIG_USB_GADGET_VENDOR_NUM=0x483
  CONFIG_USB_GADGET_PRODUCT_NUM=0x7270
  CONFIG_OF_LIBFDT_OVERLAY=y
  CONFIG_SPL_OF_LIBFDT=y