blob: d47ad86fee080da5aef336bded527976158b6c9a [file] [log] [blame]
rickb841b6e2017-05-18 14:37:53 +08001CONFIG_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
rickb841b6e2017-05-18 14:37:53 +080015CONFIG_OF_CONTROL=y
rickbe71a172017-05-23 13:48:27 +080016CONFIG_NET_RANDOM_ETHADDR=y
rickb841b6e2017-05-18 14:37:53 +080017CONFIG_DM=y
Tom Rinifb82fe32017-06-19 09:47:40 -040018CONFIG_MMC=y
rickb841b6e2017-05-18 14:37:53 +080019CONFIG_MTD=y
Tom Rinifb82fe32017-06-19 09:47:40 -040020CONFIG_MTD_NOR_FLASH=y
rickb841b6e2017-05-18 14:37:53 +080021CONFIG_CFI_FLASH=y
rickbe71a172017-05-23 13:48:27 +080022CONFIG_DM_ETH=y
23CONFIG_FTMAC100=y
Tom Rinifb82fe32017-06-19 09:47:40 -040024CONFIG_BAUDRATE=38400
rickb841b6e2017-05-18 14:37:53 +080025CONFIG_DM_SERIAL=y
26CONFIG_SYS_NS16550=y
27CONFIG_TIMER=y
28CONFIG_AE3XX_TIMER=y