CONFIG_SOC_SERIES_RISCV_ANDES_V5=y
CONFIG_SOC_RISCV_ANDES_AE350=y
CONFIG_BOARD_ADP_XC7K_AE350=y
CONFIG_XIP=n
CONFIG_PLIC=y
CONFIG_RISCV_MACHINE_TIMER=y
CONFIG_CONSOLE=y
CONFIG_UART_CONSOLE=y
CONFIG_PRINTK=y

# Serial driver options
CONFIG_SERIAL=y
CONFIG_UART_NS16550=y

# GPIO driver options
CONFIG_GPIO=y
CONFIG_GPIO_ANDES_ATCGPIO100=y

CONFIG_COUNTER=y
CONFIG_COUNTER_ANDES_ATCPIT100=y
CONFIG_I2C=y
CONFIG_I2C_ANDES_ATCIIC100=y
CONFIG_SPI=y
CONFIG_SPI_ANDES_ATCSPI200=y
CONFIG_FLASH=y
CONFIG_SPI_NOR=y
CONFIG_DISPLAY=y
CONFIG_DISPLAY_ANDES_ATFLCDC100=y
CONFIG_BOOT_BANNER=y
CONFIG_SYSTEM_WORKQUEUE_STACK_SIZE=4096

# RV64 options
#CONFIG_RISCV_RV64=y

# FPU (single precision) options
#CONFIG_FPU=y
#CONFIG_FPU_SHARING=y
#CONFIG_FLOAT_HARD=y
#CONFIG_SINGLE_PRECISION_FPU=y

# FPU (double precision) options
#CONFIG_FPU=y
#CONFIG_FPU_SHARING=y
#CONFIG_FLOAT_HARD=y
#CONFIG_DOUBLE_PRECISION_FPU=y

# HW DSP options
#CONFIG_SOC_ANDES_V5_HWDSP=y

# SMP options
#CONFIG_USE_SWITCH=y
#CONFIG_SMP=y
#CONFIG_MP_NUM_CPUS=$(cores_num)

# Cache options
#CONFIG_CACHE_ENABLE=y

# Nocache memory options
#CONFIG_SOC_ANDES_V5_PMA=y
#CONFIG_NOCACHE_MEMORY=y

# Coherence Manager options
#CONFIG_SOC_ANDES_V5_CM=y

# Ethernet options
#CONFIG_NETWORKING=y
#CONFIG_NET_SOCKETS=y
#CONFIG_NET_L2_ETHERNET=y
#CONFIG_ETH_ANDES_ATFMAC100=y
#CONFIG_NET_DEFAULT_IF_ETHERNET=y

#CONFIG_NET_CONFIG_SETTINGS=y
#CONFIG_DNS_RESOLVER=y
#CONFIG_DNS_SERVER_IP_ADDRESSES=y
#CONFIG_DNS_SERVER1="10.0.1.221"
#CONFIG_NET_CONFIG_MY_IPV4_GW="10.0.12.254"
