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