| CONFIG_RISCV=y |
| CONFIG_TEXT_BASE=0x00000000 |
| CONFIG_SYS_MALLOC_LEN=0x80000 |
| CONFIG_NR_DRAM_BANKS=2 |
| CONFIG_HAS_CUSTOM_SYS_INIT_SP_ADDR=y |
| CONFIG_CUSTOM_SYS_INIT_SP_ADDR=0xfffd70 |
| CONFIG_ENV_SECT_SIZE=0x1000 |
| CONFIG_DEFAULT_DEVICE_TREE="ae350_64" |
| CONFIG_SYS_BOOTM_LEN=0x4000000 |
| CONFIG_SYS_LOAD_ADDR=0x100000 |
| CONFIG_TARGET_ANDES_AE350=y |
| CONFIG_ARCH_RV64I=y |
| CONFIG_SYS_MONITOR_BASE=0x88000000 |
| CONFIG_FIT=y |
| CONFIG_DISTRO_DEFAULTS=y |
| CONFIG_BOOTDELAY=3 |
| CONFIG_SYS_PBSIZE=1050 |
| CONFIG_DISPLAY_CPUINFO=y |
| CONFIG_DISPLAY_BOARDINFO=y |
| CONFIG_BOARD_EARLY_INIT_F=y |
| CONFIG_MISC_INIT_R=y |
| CONFIG_SYS_PROMPT="RISC-V # " |
| CONFIG_CMD_IMLS=y |
| CONFIG_CMD_MMC=y |
| CONFIG_CMD_SF_TEST=y |
| CONFIG_CMD_WDT=y |
| # CONFIG_CMD_SETEXPR is not set |
| CONFIG_BOOTP_PREFER_SERVERIP=y |
| CONFIG_CMD_CACHE=y |
| CONFIG_ENV_OVERWRITE=y |
| CONFIG_ENV_IS_IN_SPI_FLASH=y |
| CONFIG_SYS_RELOC_GD_ENV_ADDR=y |
| CONFIG_NET_RETRY_COUNT=50 |
| CONFIG_BOOTP_SEND_HOSTNAME=y |
| CONFIG_NET_RANDOM_ETHADDR=y |
| CONFIG_MMC=y |
| CONFIG_FTSDC010=y |
| CONFIG_FTSDC010_SDIO=y |
| CONFIG_DM_MTD=y |
| CONFIG_MTD_NOR_FLASH=y |
| CONFIG_SYS_FLASH_CFI_WIDTH_16BIT=y |
| CONFIG_FLASH_SHOW_PROGRESS=0 |
| CONFIG_CFI_FLASH=y |
| CONFIG_SYS_CFI_FLASH_STATUS_POLL=y |
| CONFIG_SYS_FLASH_USE_BUFFER_WRITE=y |
| CONFIG_SYS_FLASH_CFI=y |
| CONFIG_SPI_FLASH_MACRONIX=y |
| CONFIG_FTMAC100=y |
| CONFIG_BAUDRATE=38400 |
| CONFIG_SYS_NS16550=y |
| CONFIG_SPI=y |
| CONFIG_ATCSPI200_SPI=y |
| # CONFIG_WATCHDOG_AUTOSTART is not set |
| CONFIG_WDT=y |
| CONFIG_WDT_ATCWDT200=y |