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