CONFIG_NDS32=yCONFIG_TARGET_ADP_AE3XX=yCONFIG_DEFAULT_DEVICE_TREE="ae3xx"CONFIG_FIT=yCONFIG_BOOTDELAY=3CONFIG_SYS_PROMPT="NDS32 # "CONFIG_CMD_MMC=y# CONFIG_CMD_SETEXPR is not setCONFIG_CMD_DHCP=yCONFIG_CMD_PING=yCONFIG_CMD_CACHE=yCONFIG_CMD_DATE=yCONFIG_CMD_EXT2=yCONFIG_CMD_FAT=yCONFIG_MMC=yCONFIG_MTD_NOR_FLASH=yCONFIG_BAUDRATE=38400CONFIG_OF_CONTROL=yCONFIG_DM=yCONFIG_MTD=yCONFIG_CFI_FLASH=yCONFIG_DM_SERIAL=yCONFIG_SYS_NS16550=yCONFIG_TIMER=yCONFIG_AE3XX_TIMER=y