1CONFIG_NDS32=y 2CONFIG_TARGET_ADP_AE3XX=y 3CONFIG_DEFAULT_DEVICE_TREE="ae3xx" 4CONFIG_FIT=y 5CONFIG_BOOTDELAY=3 6CONFIG_SYS_PROMPT="NDS32 # " 7CONFIG_CMD_MMC=y 8# CONFIG_CMD_SETEXPR is not set 9CONFIG_CMD_DHCP=y 10CONFIG_CMD_PING=y 11CONFIG_CMD_CACHE=y 12CONFIG_CMD_DATE=y 13CONFIG_CMD_EXT2=y 14CONFIG_CMD_FAT=y 15CONFIG_MMC=y 16CONFIG_MTD_NOR_FLASH=y 17CONFIG_BAUDRATE=38400 18CONFIG_OF_CONTROL=y 19CONFIG_NET_RANDOM_ETHADDR=y 20CONFIG_DM=y 21CONFIG_MTD=y 22CONFIG_CFI_FLASH=y 23CONFIG_DM_ETH=y 24CONFIG_FTMAC100=y 25CONFIG_DM_SERIAL=y 26CONFIG_SYS_NS16550=y 27CONFIG_TIMER=y 28CONFIG_AE3XX_TIMER=y 29