CONFIG_RISCV=y
CONFIG_32BIT=y
CONFIG_FPU=y
CONFIG_ARCH_VIRT=y
CONFIG_SOC_VIRT=y
CONFIG_ARCH_RV32I=y
CONFIG_RISCV_M_MODE=y
CONFIG_PAGE_OFFSET=0x80000000
CONFIG_NONPORTABLE=y
