1*b6518b1eSIgal LibermanCONFIG_ARM=y 2*b6518b1eSIgal LibermanCONFIG_ARCH_MVEBU=y 3*b6518b1eSIgal LibermanCONFIG_SYS_MALLOC_F_LEN=0x2000 4*b6518b1eSIgal LibermanCONFIG_TARGET_MVEBU_ARMADA_8K=y 5*b6518b1eSIgal LibermanCONFIG_DEFAULT_DEVICE_TREE="armada-8040-db" 6*b6518b1eSIgal LibermanCONFIG_SMBIOS_PRODUCT_NAME="" 7*b6518b1eSIgal LibermanCONFIG_DEBUG_UART=y 8*b6518b1eSIgal LibermanCONFIG_AHCI=y 9*b6518b1eSIgal Liberman# CONFIG_SYS_MALLOC_CLEAR_ON_INIT is not set 10*b6518b1eSIgal LibermanCONFIG_SYS_CONSOLE_INFO_QUIET=y 11*b6518b1eSIgal Liberman# CONFIG_DISPLAY_CPUINFO is not set 12*b6518b1eSIgal Liberman# CONFIG_DISPLAY_BOARDINFO is not set 13*b6518b1eSIgal LibermanCONFIG_ARCH_EARLY_INIT_R=y 14*b6518b1eSIgal LibermanCONFIG_BOARD_EARLY_INIT_F=y 15*b6518b1eSIgal LibermanCONFIG_HUSH_PARSER=y 16*b6518b1eSIgal Liberman# CONFIG_CMD_IMLS is not set 17*b6518b1eSIgal Liberman# CONFIG_CMD_FLASH is not set 18*b6518b1eSIgal LibermanCONFIG_CMD_MMC=y 19*b6518b1eSIgal LibermanCONFIG_CMD_PART=y 20*b6518b1eSIgal LibermanCONFIG_CMD_SF=y 21*b6518b1eSIgal LibermanCONFIG_CMD_SPI=y 22*b6518b1eSIgal LibermanCONFIG_CMD_I2C=y 23*b6518b1eSIgal LibermanCONFIG_CMD_USB=y 24*b6518b1eSIgal Liberman# CONFIG_CMD_FPGA is not set 25*b6518b1eSIgal Liberman# CONFIG_CMD_SETEXPR is not set 26*b6518b1eSIgal LibermanCONFIG_CMD_TFTPPUT=y 27*b6518b1eSIgal LibermanCONFIG_CMD_DHCP=y 28*b6518b1eSIgal LibermanCONFIG_CMD_MII=y 29*b6518b1eSIgal LibermanCONFIG_CMD_PING=y 30*b6518b1eSIgal LibermanCONFIG_CMD_CACHE=y 31*b6518b1eSIgal LibermanCONFIG_CMD_TIME=y 32*b6518b1eSIgal LibermanCONFIG_CMD_MVEBU_BUBT=y 33*b6518b1eSIgal LibermanCONFIG_CMD_EXT4=y 34*b6518b1eSIgal LibermanCONFIG_CMD_EXT4_WRITE=y 35*b6518b1eSIgal LibermanCONFIG_CMD_FAT=y 36*b6518b1eSIgal LibermanCONFIG_CMD_FS_GENERIC=y 37*b6518b1eSIgal LibermanCONFIG_MAC_PARTITION=y 38*b6518b1eSIgal LibermanCONFIG_ISO_PARTITION=y 39*b6518b1eSIgal LibermanCONFIG_EFI_PARTITION=y 40*b6518b1eSIgal LibermanCONFIG_BLOCK_CACHE=y 41*b6518b1eSIgal LibermanCONFIG_DM_I2C=y 42*b6518b1eSIgal LibermanCONFIG_SYS_I2C_MVTWSI=y 43*b6518b1eSIgal LibermanCONFIG_MISC=y 44*b6518b1eSIgal LibermanCONFIG_DM_MMC=y 45*b6518b1eSIgal LibermanCONFIG_MMC_SDHCI=y 46*b6518b1eSIgal LibermanCONFIG_MMC_SDHCI_XENON=y 47*b6518b1eSIgal LibermanCONFIG_SPI_FLASH=y 48*b6518b1eSIgal LibermanCONFIG_SPI_FLASH_MACRONIX=y 49*b6518b1eSIgal LibermanCONFIG_SPI_FLASH_SPANSION=y 50*b6518b1eSIgal LibermanCONFIG_SPI_FLASH_STMICRO=y 51*b6518b1eSIgal LibermanCONFIG_PHY_MARVELL=y 52*b6518b1eSIgal LibermanCONFIG_MVPP2=y 53*b6518b1eSIgal LibermanCONFIG_PCI=y 54*b6518b1eSIgal LibermanCONFIG_DM_PCI=y 55*b6518b1eSIgal LibermanCONFIG_PCIE_DW_MVEBU=y 56*b6518b1eSIgal LibermanCONFIG_MVEBU_COMPHY_SUPPORT=y 57*b6518b1eSIgal LibermanCONFIG_PINCTRL=y 58*b6518b1eSIgal LibermanCONFIG_PINCTRL_ARMADA_8K=y 59*b6518b1eSIgal Liberman# CONFIG_SPL_SERIAL_PRESENT is not set 60*b6518b1eSIgal LibermanCONFIG_DEBUG_UART_BASE=0xf0512000 61*b6518b1eSIgal LibermanCONFIG_DEBUG_UART_CLOCK=200000000 62*b6518b1eSIgal LibermanCONFIG_DEBUG_UART_SHIFT=2 63*b6518b1eSIgal LibermanCONFIG_DEBUG_UART_ANNOUNCE=y 64*b6518b1eSIgal LibermanCONFIG_SYS_NS16550=y 65*b6518b1eSIgal LibermanCONFIG_USB=y 66*b6518b1eSIgal LibermanCONFIG_DM_USB=y 67*b6518b1eSIgal LibermanCONFIG_USB_XHCI_HCD=y 68*b6518b1eSIgal LibermanCONFIG_USB_EHCI_HCD=y 69*b6518b1eSIgal LibermanCONFIG_USB_STORAGE=y 70*b6518b1eSIgal LibermanCONFIG_SMBIOS_MANUFACTURER="" 71