1CONFIG_ARM=y
2CONFIG_ARCH_CPU_INIT=y
3CONFIG_SYS_THUMB_BUILD=y
4CONFIG_ARCH_MVEBU=y
5CONFIG_SYS_TEXT_BASE=0x00800000
6CONFIG_SPL_LIBCOMMON_SUPPORT=y
7CONFIG_SPL_LIBGENERIC_SUPPORT=y
8CONFIG_SYS_MALLOC_F_LEN=0x2000
9CONFIG_NR_DRAM_BANKS=2
10CONFIG_TARGET_HELIOS4=y
11CONFIG_MVEBU_SPL_BOOT_DEVICE_MMC=y
12CONFIG_DM_GPIO=y
13CONFIG_SPL_TEXT_BASE=0x40000030
14CONFIG_SPL_SERIAL_SUPPORT=y
15CONFIG_SPL=y
16CONFIG_DEBUG_UART_BASE=0xd0012000
17CONFIG_DEBUG_UART_CLOCK=250000000
18CONFIG_DEFAULT_DEVICE_TREE="armada-388-helios4"
19CONFIG_DEBUG_UART=y
20CONFIG_AHCI=y
21CONFIG_DISTRO_DEFAULTS=y
22CONFIG_BOOTDELAY=3
23CONFIG_USE_PREBOOT=y
24CONFIG_SYS_CONSOLE_INFO_QUIET=y
25# CONFIG_DISPLAY_BOARDINFO is not set
26CONFIG_DISPLAY_BOARDINFO_LATE=y
27CONFIG_SYS_MMCSD_RAW_MODE_U_BOOT_DATA_PART_OFFSET=0x1
28CONFIG_SPL_I2C_SUPPORT=y
29CONFIG_CMD_TLV_EEPROM=y
30CONFIG_SPL_CMD_TLV_EEPROM=y
31# CONFIG_CMD_FLASH is not set
32CONFIG_CMD_GPIO=y
33CONFIG_CMD_I2C=y
34CONFIG_CMD_MMC=y
35CONFIG_CMD_PCI=y
36CONFIG_CMD_SPI=y
37CONFIG_CMD_USB=y
38# CONFIG_CMD_SETEXPR is not set
39CONFIG_CMD_TFTPPUT=y
40CONFIG_CMD_CACHE=y
41CONFIG_CMD_TIME=y
42CONFIG_CMD_MVEBU_BUBT=y
43# CONFIG_SPL_PARTITION_UUIDS is not set
44CONFIG_ENV_OVERWRITE=y
45CONFIG_NET_RANDOM_ETHADDR=y
46CONFIG_SPL_OF_TRANSLATE=y
47CONFIG_AHCI_MVEBU=y
48CONFIG_DM_PCA953X=y
49CONFIG_DM_I2C=y
50CONFIG_SYS_I2C_MVTWSI=y
51CONFIG_I2C_EEPROM=y
52CONFIG_SPL_I2C_EEPROM=y
53CONFIG_DM_MMC=y
54CONFIG_SUPPORT_EMMC_BOOT=y
55CONFIG_MMC_SDHCI=y
56CONFIG_MMC_SDHCI_SDMA=y
57CONFIG_MMC_SDHCI_MV=y
58CONFIG_MTD=y
59CONFIG_SF_DEFAULT_BUS=1
60CONFIG_SPI_FLASH_WINBOND=y
61CONFIG_SPI_FLASH_MTD=y
62CONFIG_PHY_MARVELL=y
63CONFIG_PHY_GIGE=y
64CONFIG_MVNETA=y
65CONFIG_MII=y
66CONFIG_PCI=y
67CONFIG_PCI_MVEBU=y
68CONFIG_SCSI=y
69CONFIG_DEBUG_UART_SHIFT=2
70CONFIG_SYS_NS16550=y
71CONFIG_KIRKWOOD_SPI=y
72CONFIG_USB=y
73CONFIG_DM_USB=y
74CONFIG_USB_XHCI_HCD=y
75