1*b841b6e9SrickCONFIG_NDS32=y
2*b841b6e9SrickCONFIG_TARGET_ADP_AE3XX=y
3*b841b6e9SrickCONFIG_DEFAULT_DEVICE_TREE="ae3xx"
4*b841b6e9SrickCONFIG_FIT=y
5*b841b6e9SrickCONFIG_BOOTDELAY=3
6*b841b6e9SrickCONFIG_SYS_PROMPT="NDS32 # "
7*b841b6e9SrickCONFIG_CMD_MMC=y
8*b841b6e9Srick# CONFIG_CMD_SETEXPR is not set
9*b841b6e9SrickCONFIG_CMD_DHCP=y
10*b841b6e9SrickCONFIG_CMD_PING=y
11*b841b6e9SrickCONFIG_CMD_CACHE=y
12*b841b6e9SrickCONFIG_CMD_DATE=y
13*b841b6e9SrickCONFIG_CMD_EXT2=y
14*b841b6e9SrickCONFIG_CMD_FAT=y
15*b841b6e9SrickCONFIG_MMC=y
16*b841b6e9SrickCONFIG_MTD_NOR_FLASH=y
17*b841b6e9SrickCONFIG_BAUDRATE=38400
18*b841b6e9SrickCONFIG_OF_CONTROL=y
19*b841b6e9SrickCONFIG_DM=y
20*b841b6e9SrickCONFIG_MTD=y
21*b841b6e9SrickCONFIG_CFI_FLASH=y
22*b841b6e9SrickCONFIG_DM_SERIAL=y
23*b841b6e9SrickCONFIG_SYS_NS16550=y
24*b841b6e9SrickCONFIG_TIMER=y
25*b841b6e9SrickCONFIG_AE3XX_TIMER=y
26