CONFIG_RISCV=y
CONFIG_FPU=y
CONFIG_SOC_VIRT=y
CONFIG_NONPORTABLE=y
CONFIG_CMDLINE_BOOL=y
CONFIG_COMPAT_32BIT_TIME=y