rick | f1113c9 | 2017-05-18 14:37:53 +0800 | [diff] [blame^] | 1 | CONFIG_NDS32=y |
2 | CONFIG_TARGET_ADP_AE3XX=y | ||||
3 | CONFIG_DEFAULT_DEVICE_TREE="ae3xx" | ||||
4 | CONFIG_FIT=y | ||||
5 | CONFIG_BOOTDELAY=3 | ||||
6 | CONFIG_SYS_PROMPT="NDS32 # " | ||||
7 | CONFIG_CMD_MMC=y | ||||
8 | # CONFIG_CMD_SETEXPR is not set | ||||
9 | CONFIG_CMD_DHCP=y | ||||
10 | CONFIG_CMD_PING=y | ||||
11 | CONFIG_CMD_CACHE=y | ||||
12 | CONFIG_CMD_DATE=y | ||||
13 | CONFIG_CMD_EXT2=y | ||||
14 | CONFIG_CMD_FAT=y | ||||
15 | CONFIG_MMC=y | ||||
16 | CONFIG_MTD_NOR_FLASH=y | ||||
17 | CONFIG_BAUDRATE=38400 | ||||
18 | CONFIG_OF_CONTROL=y | ||||
19 | CONFIG_DM=y | ||||
20 | CONFIG_MTD=y | ||||
21 | CONFIG_CFI_FLASH=y | ||||
22 | CONFIG_DM_SERIAL=y | ||||
23 | CONFIG_SYS_NS16550=y | ||||
24 | CONFIG_TIMER=y | ||||
25 | CONFIG_AE3XX_TIMER=y |