3 CONFIG_SYS_TEXT_BASE=0x7D600000
6 CONFIG_DEFAULT_DEVICE_TREE="stih410-b2260"
7 CONFIG_IDENT_STRING="STMicroelectronics STiH410-B2260"
8 CONFIG_DISTRO_DEFAULTS=y
12 CONFIG_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
14 CONFIG_SYS_PROMPT="stih410-b2260 => "
21 CONFIG_CMD_EXT4_WRITE=y
22 # CONFIG_ISO_PARTITION is not set
24 CONFIG_SYS_RELOC_GD_ENV_ADDR=y
28 CONFIG_USB_FUNCTION_FASTBOOT=y
29 CONFIG_FASTBOOT_BUF_ADDR=0x40000000
30 CONFIG_FASTBOOT_BUF_SIZE=0x3DF00000
31 CONFIG_FASTBOOT_FLASH=y
32 CONFIG_FASTBOOT_FLASH_MMC_DEV=0
33 CONFIG_FASTBOOT_CMD_OEM_FORMAT=y
36 CONFIG_MMC_SDHCI_STI=y
42 CONFIG_STI_ASC_SERIAL=y
47 CONFIG_USB_XHCI_DWC3=y
49 CONFIG_USB_EHCI_GENERIC=y
51 CONFIG_USB_OHCI_GENERIC=y
54 CONFIG_USB_GADGET_MANUFACTURER="STMicroelectronics"
55 CONFIG_USB_GADGET_VENDOR_NUM=0x483
56 CONFIG_USB_GADGET_PRODUCT_NUM=0x7270
57 CONFIG_OF_LIBFDT_OVERLAY=y
58 CONFIG_SPL_OF_LIBFDT=y