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_IMLS=y
8CONFIG_CMD_MMC=y
9CONFIG_CMD_SF=y
10CONFIG_CMD_SF_TEST=y
11# CONFIG_CMD_SETEXPR is not set
12CONFIG_CMD_DHCP=y
13CONFIG_CMD_PING=y
14CONFIG_CMD_CACHE=y
15CONFIG_CMD_DATE=y
16CONFIG_CMD_EXT2=y
17CONFIG_CMD_FAT=y
18CONFIG_OF_CONTROL=y
19CONFIG_ENV_IS_IN_SPI_FLASH=y
20CONFIG_NET_RANDOM_ETHADDR=y
21CONFIG_DM=y
22CONFIG_CLK=y
23CONFIG_MMC=y
24CONFIG_MTD=y
25CONFIG_MTD_NOR_FLASH=y
26CONFIG_CFI_FLASH=y
27CONFIG_DM_SPI_FLASH=y
28CONFIG_SPI_FLASH=y
29CONFIG_SPI_FLASH_MACRONIX=y
30CONFIG_DM_MMC=y
31CONFIG_MMC_NDS32=y
32CONFIG_FTSDC010=y
33CONFIG_DM_ETH=y
34CONFIG_FTMAC100=y
35CONFIG_BAUDRATE=38400
36CONFIG_DM_SERIAL=y
37CONFIG_SYS_NS16550=y
38CONFIG_DM_SPI=y
39CONFIG_ATCSPI200_SPI=y
40CONFIG_TIMER=y
41CONFIG_ATCPIT100_TIMER=y
42