|
@@ -1,14 +0,0 @@
|
|
|
-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
|