CONFIG_RISCV=y
CONFIG_32BIT=y
CONFIG_COMPAT_32BIT_TIME=y
CONFIG_ARCH_RV32I=y
CONFIG_SOC_VIRT=y
CONFIG_NONPORTABLE=y