| 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 |
| |
| # Serial driver options |
| CONFIG_SERIAL=y |
| CONFIG_UART_NS16550=y |
| |
| # GPIO driver options |
| CONFIG_GPIO=y |
| CONFIG_GPIO_ANDES_ATCGPIO100=y |
| |
| # RV64 options |
| #CONFIG_RV64I_CPU=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 |
| |
| # Cache options |
| CONFIG_CACHE_ENABLE=y |
| |
| # Nocache memory options |
| #CONFIG_SOC_ANDES_V5_PMA=y |
| #CONFIG_NOCACHE_MEMORY=y |