1*ab3f92deSRick ChenCONFIG_RISCV=y
2*ab3f92deSRick ChenCONFIG_SYS_TEXT_BASE=0x00000000
3*ab3f92deSRick ChenCONFIG_TARGET_AX25_AE350=y
4*ab3f92deSRick ChenCONFIG_DISTRO_DEFAULTS=y
5*ab3f92deSRick ChenCONFIG_NR_DRAM_BANKS=2
6*ab3f92deSRick ChenCONFIG_FIT=y
7*ab3f92deSRick ChenCONFIG_BOOTDELAY=3
8*ab3f92deSRick ChenCONFIG_BOARD_EARLY_INIT_F=y
9*ab3f92deSRick ChenCONFIG_SYS_PROMPT="RISC-V # "
10*ab3f92deSRick ChenCONFIG_CMD_IMLS=y
11*ab3f92deSRick ChenCONFIG_CMD_MMC=y
12*ab3f92deSRick ChenCONFIG_CMD_SF=y
13*ab3f92deSRick ChenCONFIG_CMD_SF_TEST=y
14*ab3f92deSRick Chen# CONFIG_CMD_SETEXPR is not set
15*ab3f92deSRick ChenCONFIG_BOOTP_PREFER_SERVERIP=y
16*ab3f92deSRick ChenCONFIG_CMD_CACHE=y
17*ab3f92deSRick ChenCONFIG_OF_BOARD=y
18*ab3f92deSRick ChenCONFIG_DEFAULT_DEVICE_TREE="ae350_32"
19*ab3f92deSRick ChenCONFIG_ENV_IS_IN_SPI_FLASH=y
20*ab3f92deSRick ChenCONFIG_NET_RANDOM_ETHADDR=y
21*ab3f92deSRick ChenCONFIG_MMC=y
22*ab3f92deSRick ChenCONFIG_FTSDC010=y
23*ab3f92deSRick ChenCONFIG_FTSDC010_SDIO=y
24*ab3f92deSRick ChenCONFIG_MTD_NOR_FLASH=y
25*ab3f92deSRick ChenCONFIG_FLASH_CFI_DRIVER=y
26*ab3f92deSRick ChenCONFIG_CFI_FLASH=y
27*ab3f92deSRick ChenCONFIG_SYS_FLASH_USE_BUFFER_WRITE=y
28*ab3f92deSRick ChenCONFIG_SYS_FLASH_CFI=y
29*ab3f92deSRick ChenCONFIG_SPI_FLASH=y
30*ab3f92deSRick ChenCONFIG_SPI_FLASH_MACRONIX=y
31*ab3f92deSRick ChenCONFIG_FTMAC100=y
32*ab3f92deSRick ChenCONFIG_BAUDRATE=38400
33*ab3f92deSRick ChenCONFIG_SYS_NS16550=y
34*ab3f92deSRick ChenCONFIG_SPI=y
35*ab3f92deSRick ChenCONFIG_ATCSPI200_SPI=y
36*ab3f92deSRick ChenCONFIG_ATCPIT100_TIMER=y
37