| CONFIG_ARM=y |
| CONFIG_SYS_DCACHE_OFF=y |
| CONFIG_ARCH_ASPEED=y |
| CONFIG_SYS_TEXT_BASE=0x0 |
| CONFIG_ASPEED_AST2500=y |
| CONFIG_TARGET_EVB_AST2500=y |
| CONFIG_SYS_MALLOC_F_LEN=0x2000 |
| CONFIG_NR_DRAM_BANKS=1 |
| CONFIG_PRE_CON_BUF_ADDR=0x1e720000 |
| CONFIG_USE_BOOTARGS=y |
| CONFIG_BOOTARGS="console=ttyS4,115200n8 root=/dev/ram rw" |
| CONFIG_PRE_CONSOLE_BUFFER=y |
| # CONFIG_DISPLAY_CPUINFO is not set |
| CONFIG_HUSH_PARSER=y |
| # CONFIG_AUTO_COMPLETE is not set |
| CONFIG_CMD_I2C=y |
| CONFIG_CMD_MMC=y |
| CONFIG_CMD_DHCP=y |
| CONFIG_CMD_MII=y |
| CONFIG_CMD_PING=y |
| CONFIG_OF_EMBED=y |
| CONFIG_DEFAULT_DEVICE_TREE="ast2500-evb" |
| CONFIG_SYS_RELOC_GD_ENV_ADDR=y |
| CONFIG_NET_RANDOM_ETHADDR=y |
| CONFIG_REGMAP=y |
| CONFIG_CLK=y |
| CONFIG_DM_I2C=y |
| CONFIG_SYS_I2C_ASPEED=y |
| CONFIG_DM_MMC=y |
| CONFIG_MMC_SDHCI=y |
| CONFIG_MMC_SDHCI_ASPEED=y |
| CONFIG_PHY_REALTEK=y |
| CONFIG_DM_ETH=y |
| CONFIG_FTGMAC100=y |
| CONFIG_PHY=y |
| CONFIG_PINCTRL=y |
| CONFIG_RAM=y |
| CONFIG_DM_RESET=y |
| CONFIG_DM_SERIAL=y |
| CONFIG_SYS_NS16550=y |
| CONFIG_SYSRESET=y |
| CONFIG_TIMER=y |
| CONFIG_WDT=y |