3 CONFIG_IDENT_STRING="STMicroelectronics STiH410-B2260"
4 CONFIG_DEFAULT_DEVICE_TREE="stih410-b2260"
5 CONFIG_DISTRO_DEFAULTS=y
9 CONFIG_BOOTARGS="console=ttyAS1,115200 CONSOLE=/dev/ttyAS1 consoleblank=0 root=/dev/mmcblk0p2 rootfstype=ext4 rw rootwait mem=992M@0x40000000 vmalloc=256m"
10 # CONFIG_DISPLAY_CPUINFO is not set
11 CONFIG_SYS_PROMPT="stih410-b2260 => "
13 CONFIG_FASTBOOT_BUF_ADDR=0x40000000
14 CONFIG_FASTBOOT_BUF_SIZE=0x3DF00000
15 CONFIG_FASTBOOT_FLASH=y
16 CONFIG_FASTBOOT_FLASH_MMC_DEV=0
22 CONFIG_CMD_EXT4_WRITE=y
23 # CONFIG_ISO_PARTITION is not set
30 CONFIG_MMC_SDHCI_STI=y
35 CONFIG_STI_ASC_SERIAL=y
41 CONFIG_USB_XHCI_DWC3=y
43 CONFIG_USB_EHCI_GENERIC=y
45 CONFIG_USB_OHCI_GENERIC=y
47 CONFIG_USB_DWC3_GADGET=y
50 CONFIG_USB_GADGET_MANUFACTURER="STMicroelectronics"
51 CONFIG_USB_GADGET_VENDOR_NUM=0x483
52 CONFIG_USB_GADGET_PRODUCT_NUM=0x7270
53 CONFIG_OF_LIBFDT_OVERLAY=y
54 CONFIG_SPL_OF_LIBFDT=y