1CONFIG_ARM=y 2CONFIG_ARCH_CPU_INIT=y 3CONFIG_ARCH_MVEBU=y 4CONFIG_SYS_TEXT_BASE=0x00000000 5CONFIG_SYS_MALLOC_F_LEN=0x2000 6CONFIG_NR_DRAM_BANKS=2 7CONFIG_TARGET_MVEBU_ARMADA_8K=y 8CONFIG_ENV_SIZE=0x10000 9CONFIG_ENV_OFFSET=0x1F0000 10CONFIG_ENV_SECT_SIZE=0x10000 11CONFIG_DM_GPIO=y 12CONFIG_DEFAULT_DEVICE_TREE="armada-8040-puzzle-m801" 13CONFIG_DEBUG_UART_BASE=0xf0512000 14CONFIG_DEBUG_UART_CLOCK=200000000 15CONFIG_DEBUG_UART=y 16CONFIG_AHCI=y 17CONFIG_DISTRO_DEFAULTS=y 18# CONFIG_SYS_MALLOC_CLEAR_ON_INIT is not set 19CONFIG_SYS_LOAD_ADDR=0x800000 20CONFIG_AUTOBOOT_KEYED=y 21CONFIG_AUTOBOOT_PROMPT="Autoboot in %d seconds, to stop use 's' key\n" 22CONFIG_AUTOBOOT_STOP_STR="s" 23CONFIG_AUTOBOOT_KEYED_CTRLC=y 24CONFIG_USE_PREBOOT=y 25CONFIG_SYS_CONSOLE_INFO_QUIET=y 26# CONFIG_DISPLAY_CPUINFO is not set 27# CONFIG_DISPLAY_BOARDINFO is not set 28CONFIG_DISPLAY_BOARDINFO_LATE=y 29CONFIG_ARCH_EARLY_INIT_R=y 30CONFIG_BOARD_EARLY_INIT_F=y 31CONFIG_CMD_GPIO=y 32CONFIG_CMD_I2C=y 33CONFIG_CMD_MMC=y 34CONFIG_CMD_PCI=y 35CONFIG_CMD_SPI=y 36CONFIG_CMD_USB=y 37# CONFIG_CMD_SETEXPR is not set 38CONFIG_CMD_TFTPPUT=y 39CONFIG_CMD_CACHE=y 40CONFIG_CMD_TIME=y 41CONFIG_CMD_MVEBU_BUBT=y 42CONFIG_CMD_REGULATOR=y 43CONFIG_CMD_EXT4_WRITE=y 44CONFIG_MAC_PARTITION=y 45CONFIG_ENV_IS_IN_SPI_FLASH=y 46CONFIG_SYS_RELOC_GD_ENV_ADDR=y 47CONFIG_NET_RANDOM_ETHADDR=y 48CONFIG_AHCI_MVEBU=y 49CONFIG_DM_PCA953X=y 50CONFIG_DM_I2C=y 51CONFIG_SYS_I2C_MVTWSI=y 52CONFIG_I2C_MUX=y 53CONFIG_I2C_MUX_PCA954x=y 54CONFIG_MISC=y 55CONFIG_MMC_SDHCI=y 56CONFIG_MMC_SDHCI_XENON=y 57CONFIG_SPI_FLASH_BAR=y 58CONFIG_SPI_FLASH_MACRONIX=y 59CONFIG_PHY_MARVELL=y 60CONFIG_PHY_GIGE=y 61CONFIG_E1000=y 62CONFIG_MVPP2=y 63CONFIG_NVME=y 64CONFIG_PCI=y 65CONFIG_PCIE_DW_MVEBU=y 66CONFIG_PHY=y 67CONFIG_MVEBU_COMPHY_SUPPORT=y 68CONFIG_PINCTRL=y 69CONFIG_PINCTRL_ARMADA_8K=y 70CONFIG_DM_REGULATOR_FIXED=y 71CONFIG_DM_RTC=y 72CONFIG_RTC_RX8010SJ=y 73CONFIG_DEBUG_UART_SHIFT=2 74CONFIG_DEBUG_UART_ANNOUNCE=y 75CONFIG_SYS_NS16550=y 76CONFIG_KIRKWOOD_SPI=y 77CONFIG_USB=y 78CONFIG_USB_XHCI_HCD=y 79CONFIG_USB_EHCI_HCD=y 80# CONFIG_EFI_LOADER is not set 81