blob: 4107767be7f6ae2c96193be64dbec79cbcedbd4c [file] [log] [blame]
Stefan Roese7be1b9b2016-05-25 08:21:21 +02001CONFIG_ARM=y
2CONFIG_ARCH_MVEBU=y
3CONFIG_SYS_MALLOC_F_LEN=0x2000
Stefan Roese5c806f12016-10-25 10:56:19 +02004CONFIG_TARGET_MVEBU_ARMADA_8K=y
Stefan Roese7be1b9b2016-05-25 08:21:21 +02005CONFIG_DEFAULT_DEVICE_TREE="armada-7040-db"
Stefan Roese5c806f12016-10-25 10:56:19 +02006CONFIG_SMBIOS_PRODUCT_NAME=""
Stefan Roese7be1b9b2016-05-25 08:21:21 +02007CONFIG_AHCI=y
8# CONFIG_SYS_MALLOC_CLEAR_ON_INIT is not set
Simon Glassbd5618d2016-10-17 20:13:00 -06009CONFIG_SYS_CONSOLE_INFO_QUIET=y
Lokesh Vutlafbad3702016-10-08 14:41:44 -040010# CONFIG_DISPLAY_CPUINFO is not set
Lokesh Vutla94d95e42016-10-11 21:33:46 -040011# CONFIG_DISPLAY_BOARDINFO is not set
Simon Glass62adede2017-01-23 13:31:19 -070012CONFIG_ARCH_EARLY_INIT_R=y
Simon Glass7a99a872017-01-23 13:31:20 -070013CONFIG_BOARD_EARLY_INIT_F=y
Masahiro Yamada74f09b82016-12-07 22:10:25 +090014CONFIG_HUSH_PARSER=y
Stefan Roese7be1b9b2016-05-25 08:21:21 +020015# CONFIG_CMD_IMLS is not set
16# CONFIG_CMD_FLASH is not set
17CONFIG_CMD_SF=y
18CONFIG_CMD_SPI=y
19CONFIG_CMD_I2C=y
20CONFIG_CMD_USB=y
21# CONFIG_CMD_FPGA is not set
22# CONFIG_CMD_SETEXPR is not set
23CONFIG_CMD_TFTPPUT=y
24CONFIG_CMD_DHCP=y
25CONFIG_CMD_MII=y
26CONFIG_CMD_PING=y
27CONFIG_CMD_CACHE=y
28CONFIG_CMD_TIME=y
Masahiro Yamada74f09b82016-12-07 22:10:25 +090029CONFIG_CMD_MVEBU_BUBT=y
Stefan Roese7be1b9b2016-05-25 08:21:21 +020030CONFIG_CMD_EXT4=y
31CONFIG_CMD_EXT4_WRITE=y
32CONFIG_CMD_FAT=y
33CONFIG_CMD_FS_GENERIC=y
34CONFIG_BLOCK_CACHE=y
35CONFIG_DM_I2C=y
36CONFIG_SYS_I2C_MVTWSI=y
37CONFIG_MISC=y
Jagan Teki4c57e4c2017-01-21 11:48:33 +010038# CONFIG_MMC is not set
Stefan Roese7be1b9b2016-05-25 08:21:21 +020039CONFIG_SPI_FLASH=y
40CONFIG_SPI_FLASH_MACRONIX=y
41CONFIG_SPI_FLASH_SPANSION=y
42CONFIG_SPI_FLASH_STMICRO=y
43CONFIG_PHYLIB=y
Konstantin Porotchkin517b30b2016-12-04 18:34:14 +020044CONFIG_PCI=y
45CONFIG_DM_PCI=y
46CONFIG_PCIE_DW_MVEBU=y
Stefan Roese7be1b9b2016-05-25 08:21:21 +020047CONFIG_MVEBU_COMPHY_SUPPORT=y
Masahiro Yamada74f09b82016-12-07 22:10:25 +090048CONFIG_PINCTRL=y
Stefan Roese7be1b9b2016-05-25 08:21:21 +020049# CONFIG_SPL_SERIAL_PRESENT is not set
50CONFIG_DEBUG_UART=y
51CONFIG_DEBUG_UART_BASE=0xf0512000
52CONFIG_DEBUG_UART_CLOCK=200000000
53CONFIG_DEBUG_UART_SHIFT=2
54CONFIG_DEBUG_UART_ANNOUNCE=y
55CONFIG_SYS_NS16550=y
56CONFIG_USB=y
57CONFIG_DM_USB=y
58CONFIG_USB_XHCI_HCD=y
59CONFIG_USB_EHCI_HCD=y
60CONFIG_USB_STORAGE=y
Stefan Roese5c806f12016-10-25 10:56:19 +020061CONFIG_SMBIOS_MANUFACTURER=""