CONFIG_32BIT=y
CONFIG_PAGE_OFFSET=0xC0000000
CONFIG_PGTABLE_LEVELS=2
CONFIG_ARCH_RV32I=y
# CONFIG_ARCH_RV64I is not set
CONFIG_MAXPHYSMEM_2GB=y
CONFIG_LBDAF=y
# CONFIG_SCSI_NSP32 is not set
CONFIG_GENERIC_ATOMIC64=y
CONFIG_GENERIC_LIB_ASHLDI3=y
CONFIG_GENERIC_LIB_ASHRDI3=y
CONFIG_GENERIC_LIB_LSHRDI3=y
CONFIG_GENERIC_LIB_UCMPDI2=y
CONFIG_GENERIC_LIB_UMODDI3=y
