1CONFIG_NDS32=y
2CONFIG_TARGET_ADP_AG101P=y
3CONFIG_DEFAULT_DEVICE_TREE="ag101p"
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
15CONFIG_MMC=y
16CONFIG_MTD_NOR_FLASH=y
17CONFIG_BAUDRATE=38400
18CONFIG_OF_CONTROL=y
19CONFIG_DM=y
20CONFIG_DM_SERIAL=y
21CONFIG_SYS_NS16550=y
22CONFIG_TIMER=y
23CONFIG_AG101P_TIMER=y
24