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_DEFAULT_DEVICE_TREE="armada-8040-clearfog-gt-8k" 95bbf36afSRabeeh KhouryCONFIG_SMBIOS_PRODUCT_NAME="" 105bbf36afSRabeeh KhouryCONFIG_DEBUG_UART=y 115bbf36afSRabeeh KhouryCONFIG_AHCI=y 125bbf36afSRabeeh KhouryCONFIG_DISTRO_DEFAULTS=y 13*d3b2fb56SBaruch SiachCONFIG_NR_DRAM_BANKS=2 145bbf36afSRabeeh Khoury# CONFIG_SYS_MALLOC_CLEAR_ON_INIT is not set 155bbf36afSRabeeh KhouryCONFIG_SYS_CONSOLE_INFO_QUIET=y 165bbf36afSRabeeh Khoury# CONFIG_DISPLAY_CPUINFO is not set 175bbf36afSRabeeh Khoury# CONFIG_DISPLAY_BOARDINFO is not set 185bbf36afSRabeeh KhouryCONFIG_DISPLAY_BOARDINFO_LATE=y 195bbf36afSRabeeh KhouryCONFIG_ARCH_EARLY_INIT_R=y 205bbf36afSRabeeh KhouryCONFIG_BOARD_EARLY_INIT_F=y 215bbf36afSRabeeh Khoury# CONFIG_CMD_FLASH is not set 225bbf36afSRabeeh KhouryCONFIG_CMD_GPIO=y 235bbf36afSRabeeh KhouryCONFIG_CMD_I2C=y 245bbf36afSRabeeh KhouryCONFIG_CMD_MMC=y 255bbf36afSRabeeh KhouryCONFIG_CMD_PCI=y 265bbf36afSRabeeh KhouryCONFIG_CMD_SF=y 275bbf36afSRabeeh KhouryCONFIG_CMD_SPI=y 285bbf36afSRabeeh KhouryCONFIG_CMD_USB=y 295bbf36afSRabeeh Khoury# CONFIG_CMD_SETEXPR is not set 305bbf36afSRabeeh KhouryCONFIG_CMD_TFTPPUT=y 315bbf36afSRabeeh KhouryCONFIG_CMD_CACHE=y 325bbf36afSRabeeh KhouryCONFIG_CMD_TIME=y 335bbf36afSRabeeh KhouryCONFIG_CMD_MVEBU_BUBT=y 345bbf36afSRabeeh KhouryCONFIG_CMD_REGULATOR=y 355bbf36afSRabeeh KhouryCONFIG_CMD_EXT4_WRITE=y 365bbf36afSRabeeh KhouryCONFIG_MAC_PARTITION=y 375bbf36afSRabeeh KhouryCONFIG_ENV_IS_IN_SPI_FLASH=y 385bbf36afSRabeeh KhouryCONFIG_AHCI_MVEBU=y 395bbf36afSRabeeh KhouryCONFIG_DM_GPIO=y 405bbf36afSRabeeh KhouryCONFIG_DM_I2C=y 415bbf36afSRabeeh KhouryCONFIG_SYS_I2C_MVTWSI=y 425bbf36afSRabeeh KhouryCONFIG_MISC=y 435bbf36afSRabeeh KhouryCONFIG_DM_MMC=y 445bbf36afSRabeeh KhouryCONFIG_MMC_SDHCI=y 455bbf36afSRabeeh KhouryCONFIG_MMC_SDHCI_XENON=y 465bbf36afSRabeeh KhouryCONFIG_SPI_FLASH=y 475bbf36afSRabeeh KhouryCONFIG_SPI_FLASH_MACRONIX=y 485bbf36afSRabeeh KhouryCONFIG_SPI_FLASH_SPANSION=y 495bbf36afSRabeeh KhouryCONFIG_SPI_FLASH_STMICRO=y 505bbf36afSRabeeh KhouryCONFIG_SPI_FLASH_WINBOND=y 515bbf36afSRabeeh KhouryCONFIG_PHYLIB=y 525bbf36afSRabeeh KhouryCONFIG_PHY_GIGE=y 535bbf36afSRabeeh KhouryCONFIG_PCI=y 545bbf36afSRabeeh KhouryCONFIG_DM_PCI=y 555bbf36afSRabeeh KhouryCONFIG_PCIE_DW_MVEBU=y 565bbf36afSRabeeh KhouryCONFIG_MVEBU_COMPHY_SUPPORT=y 575bbf36afSRabeeh KhouryCONFIG_PINCTRL=y 585bbf36afSRabeeh KhouryCONFIG_PINCTRL_ARMADA_8K=y 595bbf36afSRabeeh KhouryCONFIG_DM_REGULATOR_FIXED=y 605bbf36afSRabeeh Khoury# CONFIG_SPL_SERIAL_PRESENT is not set 615bbf36afSRabeeh KhouryCONFIG_DEBUG_UART_SHIFT=2 625bbf36afSRabeeh KhouryCONFIG_DEBUG_UART_ANNOUNCE=y 635bbf36afSRabeeh KhouryCONFIG_SYS_NS16550=y 645bbf36afSRabeeh KhouryCONFIG_KIRKWOOD_SPI=y 655bbf36afSRabeeh KhouryCONFIG_USB=y 665bbf36afSRabeeh KhouryCONFIG_DM_USB=y 675bbf36afSRabeeh KhouryCONFIG_USB_XHCI_HCD=y 685bbf36afSRabeeh KhouryCONFIG_USB_EHCI_HCD=y 695bbf36afSRabeeh KhouryCONFIG_USB_STORAGE=y 705bbf36afSRabeeh KhouryCONFIG_USB_HOST_ETHER=y 715bbf36afSRabeeh KhouryCONFIG_USB_ETHER_ASIX=y 725bbf36afSRabeeh KhouryCONFIG_USB_ETHER_MCS7830=y 735bbf36afSRabeeh KhouryCONFIG_USB_ETHER_RTL8152=y 745bbf36afSRabeeh KhouryCONFIG_USB_ETHER_SMSC95XX=y 755bbf36afSRabeeh KhouryCONFIG_SMBIOS_MANUFACTURER="" 76