CONFIG_RISCV=y
CONFIG_FPU=y
CONFIG_ARCH_VIRT=y
CONFIG_SOC_VIRT=y
CONFIG_NONPORTABLE=y
CONFIG_RISCV_M_MODE=y
CONFIG_PAGE_OFFSET=0x80000000
CONFIG_CMDLINE_BOOL=y
CONFIG_COMPAT_32BIT_TIME=y
