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