arm64: mvebu: Enable SDHCI/MMC support for the db-88f7040/8040
[platform/kernel/u-boot.git] / configs / devkit3250_defconfig
1 CONFIG_ARM=y
2 CONFIG_TARGET_DEVKIT3250=y
3 CONFIG_SPL_LIBCOMMON_SUPPORT=y
4 CONFIG_SPL_LIBGENERIC_SUPPORT=y
5 CONFIG_SPL_NAND_SUPPORT=y
6 CONFIG_SPL_SERIAL_SUPPORT=y
7 # CONFIG_MMC is not set
8 CONFIG_BOOTDELAY=1
9 CONFIG_VERSION_VARIABLE=y
10 # CONFIG_DISPLAY_BOARDINFO is not set
11 CONFIG_SPL=y
12 CONFIG_SPL_SYS_MALLOC_SIMPLE=y
13 CONFIG_CMD_SPI=y
14 CONFIG_CMD_I2C=y
15 CONFIG_CMD_USB=y
16 # CONFIG_CMD_FPGA is not set
17 CONFIG_CMD_GPIO=y
18 # CONFIG_CMD_SETEXPR is not set
19 CONFIG_CMD_DHCP=y
20 CONFIG_CMD_MII=y
21 CONFIG_CMD_PING=y
22 CONFIG_CMD_CACHE=y
23 CONFIG_CMD_FAT=y
24 CONFIG_DM=y
25 CONFIG_SPL_DM=y
26 CONFIG_DM_GPIO=y
27 CONFIG_DM_SERIAL=y
28 CONFIG_SYS_NS16550=y
29 CONFIG_USB=y
30 CONFIG_USB_STORAGE=y
31 CONFIG_OF_LIBFDT=y