15bbf36afSRabeeh KhouryCONFIG_ARM=y
25bbf36afSRabeeh KhouryCONFIG_ARCH_MVEBU=y
35bbf36afSRabeeh KhouryCONFIG_SYS_TEXT_BASE=0x00000000
45bbf36afSRabeeh KhouryCONFIG_SYS_MALLOC_F_LEN=0x2000
55bbf36afSRabeeh KhouryCONFIG_TARGET_MVEBU_ARMADA_8K=y
65bbf36afSRabeeh KhouryCONFIG_DEBUG_UART_BASE=0xf0512000
75bbf36afSRabeeh KhouryCONFIG_DEBUG_UART_CLOCK=200000000
85bbf36afSRabeeh KhouryCONFIG_SMBIOS_PRODUCT_NAME=""
95bbf36afSRabeeh KhouryCONFIG_DEBUG_UART=y
105bbf36afSRabeeh KhouryCONFIG_AHCI=y
115bbf36afSRabeeh KhouryCONFIG_DISTRO_DEFAULTS=y
12d3b2fb56SBaruch SiachCONFIG_NR_DRAM_BANKS=2
135bbf36afSRabeeh Khoury# CONFIG_SYS_MALLOC_CLEAR_ON_INIT is not set
145bbf36afSRabeeh KhouryCONFIG_SYS_CONSOLE_INFO_QUIET=y
155bbf36afSRabeeh Khoury# CONFIG_DISPLAY_CPUINFO is not set
165bbf36afSRabeeh Khoury# CONFIG_DISPLAY_BOARDINFO is not set
175bbf36afSRabeeh KhouryCONFIG_DISPLAY_BOARDINFO_LATE=y
185bbf36afSRabeeh KhouryCONFIG_ARCH_EARLY_INIT_R=y
195bbf36afSRabeeh KhouryCONFIG_BOARD_EARLY_INIT_F=y
205bbf36afSRabeeh Khoury# CONFIG_CMD_FLASH is not set
215bbf36afSRabeeh KhouryCONFIG_CMD_GPIO=y
225bbf36afSRabeeh KhouryCONFIG_CMD_I2C=y
235bbf36afSRabeeh KhouryCONFIG_CMD_MMC=y
245bbf36afSRabeeh KhouryCONFIG_CMD_PCI=y
255bbf36afSRabeeh KhouryCONFIG_CMD_SF=y
265bbf36afSRabeeh KhouryCONFIG_CMD_SPI=y
275bbf36afSRabeeh KhouryCONFIG_CMD_USB=y
285bbf36afSRabeeh Khoury# CONFIG_CMD_SETEXPR is not set
295bbf36afSRabeeh KhouryCONFIG_CMD_TFTPPUT=y
305bbf36afSRabeeh KhouryCONFIG_CMD_CACHE=y
315bbf36afSRabeeh KhouryCONFIG_CMD_TIME=y
325bbf36afSRabeeh KhouryCONFIG_CMD_MVEBU_BUBT=y
335bbf36afSRabeeh KhouryCONFIG_CMD_REGULATOR=y
345bbf36afSRabeeh KhouryCONFIG_CMD_EXT4_WRITE=y
355bbf36afSRabeeh KhouryCONFIG_MAC_PARTITION=y
361bac199eSTom RiniCONFIG_DEFAULT_DEVICE_TREE="armada-8040-clearfog-gt-8k"
375bbf36afSRabeeh KhouryCONFIG_ENV_IS_IN_SPI_FLASH=y
3809d39748SBaruch SiachCONFIG_NET_RANDOM_ETHADDR=y
395bbf36afSRabeeh KhouryCONFIG_AHCI_MVEBU=y
405bbf36afSRabeeh KhouryCONFIG_DM_GPIO=y
415bbf36afSRabeeh KhouryCONFIG_DM_I2C=y
425bbf36afSRabeeh KhouryCONFIG_SYS_I2C_MVTWSI=y
435bbf36afSRabeeh KhouryCONFIG_MISC=y
445bbf36afSRabeeh KhouryCONFIG_DM_MMC=y
455bbf36afSRabeeh KhouryCONFIG_MMC_SDHCI=y
465bbf36afSRabeeh KhouryCONFIG_MMC_SDHCI_XENON=y
475bbf36afSRabeeh KhouryCONFIG_SPI_FLASH=y
48*14453fbfSPatrick DelaunayCONFIG_SF_DEFAULT_MODE=0
495bbf36afSRabeeh KhouryCONFIG_SPI_FLASH_MACRONIX=y
505bbf36afSRabeeh KhouryCONFIG_SPI_FLASH_SPANSION=y
515bbf36afSRabeeh KhouryCONFIG_SPI_FLASH_STMICRO=y
525bbf36afSRabeeh KhouryCONFIG_SPI_FLASH_WINBOND=y
5309d39748SBaruch SiachCONFIG_PHY_MARVELL=y
545bbf36afSRabeeh KhouryCONFIG_PHY_GIGE=y
5509d39748SBaruch SiachCONFIG_MVPP2=y
5635776636SHeinrich SchuchardtCONFIG_NVME=y
575bbf36afSRabeeh KhouryCONFIG_PCI=y
585bbf36afSRabeeh KhouryCONFIG_DM_PCI=y
595bbf36afSRabeeh KhouryCONFIG_PCIE_DW_MVEBU=y
605bbf36afSRabeeh KhouryCONFIG_MVEBU_COMPHY_SUPPORT=y
615bbf36afSRabeeh KhouryCONFIG_PINCTRL=y
625bbf36afSRabeeh KhouryCONFIG_PINCTRL_ARMADA_8K=y
635bbf36afSRabeeh KhouryCONFIG_DM_REGULATOR_FIXED=y
645bbf36afSRabeeh Khoury# CONFIG_SPL_SERIAL_PRESENT is not set
655bbf36afSRabeeh KhouryCONFIG_DEBUG_UART_SHIFT=2
665bbf36afSRabeeh KhouryCONFIG_DEBUG_UART_ANNOUNCE=y
675bbf36afSRabeeh KhouryCONFIG_SYS_NS16550=y
685bbf36afSRabeeh KhouryCONFIG_KIRKWOOD_SPI=y
695bbf36afSRabeeh KhouryCONFIG_USB=y
705bbf36afSRabeeh KhouryCONFIG_DM_USB=y
715bbf36afSRabeeh KhouryCONFIG_USB_XHCI_HCD=y
725bbf36afSRabeeh KhouryCONFIG_USB_EHCI_HCD=y
735bbf36afSRabeeh KhouryCONFIG_USB_HOST_ETHER=y
745bbf36afSRabeeh KhouryCONFIG_USB_ETHER_ASIX=y
755bbf36afSRabeeh KhouryCONFIG_USB_ETHER_MCS7830=y
765bbf36afSRabeeh KhouryCONFIG_USB_ETHER_RTL8152=y
775bbf36afSRabeeh KhouryCONFIG_USB_ETHER_SMSC95XX=y
785bbf36afSRabeeh KhouryCONFIG_SMBIOS_MANUFACTURER=""
79