1CONFIG_XIP=n
2CONFIG_CONSOLE=y
3CONFIG_UART_CONSOLE=y
4
5# Serial driver options
6CONFIG_SERIAL=y
7
8# GPIO driver options
9CONFIG_GPIO=y
10
11# Syscon driver options
12CONFIG_SYSCON=y
13
14# hwinfo driver options
15CONFIG_HWINFO=y
16CONFIG_HWINFO_ANDES=y
17
18# RV64 options
19#CONFIG_RV64I_CPU=y
20
21# FPU (single precision) options
22#CONFIG_FPU=y
23#CONFIG_FPU_SHARING=y
24#CONFIG_FLOAT_HARD=y
25#CONFIG_SINGLE_PRECISION_FPU=y
26
27# FPU (double precision) options
28#CONFIG_FPU=y
29#CONFIG_FPU_SHARING=y
30#CONFIG_FLOAT_HARD=y
31#CONFIG_DOUBLE_PRECISION_FPU=y
32
33# PMP granularity options
34CONFIG_PMP_GRANULARITY=8
35
36# HW DSP options
37#CONFIG_SOC_ANDES_V5_HWDSP=y
38
39# EXEC.IT options
40#CONFIG_SOC_ANDES_V5_EXECIT=y
41
42# Nocache memory options
43#CONFIG_SOC_ANDES_V5_PMA=y
44#CONFIG_NOCACHE_MEMORY=y
45
46# I/O Coherence Port options
47#CONFIG_SOC_ANDES_V5_IOCP=y
48