Update configs
[kernel-configs.git] / 5.10 / riscv64
index 64c3d9443f3a686e97e271530e83eb08f657b482..bdfbe72e41efc10a9470a5debb61999951bb8bb9 100644 (file)
@@ -1,12 +1,14 @@
 #
 # Automatically generated file; DO NOT EDIT.
-# Linux/riscv 5.10.176-gnu1 Kernel Configuration
+# Linux/riscv 5.10.179-gnu1 Kernel Configuration
 #
-CONFIG_CC_VERSION_TEXT="riscv64-linux-gcc (GCC) 12.2.0"
+CONFIG_CC_VERSION_TEXT="riscv64-linux-gcc (GCC) 13.1.0"
 CONFIG_CC_IS_GCC=y
-CONFIG_GCC_VERSION=120200
+CONFIG_GCC_VERSION=130100
 CONFIG_LD_VERSION=240000000
 CONFIG_CLANG_VERSION=0
+CONFIG_AS_IS_GNU=y
+CONFIG_AS_VERSION=24000
 CONFIG_LLD_VERSION=0
 CONFIG_CC_HAS_ASM_GOTO=y
 CONFIG_CC_HAS_ASM_GOTO_OUTPUT=y
@@ -254,6 +256,7 @@ CONFIG_NR_CPUS=8
 # CONFIG_HOTPLUG_CPU is not set
 CONFIG_TUNE_GENERIC=y
 CONFIG_RISCV_ISA_C=y
+CONFIG_TOOLCHAIN_NEEDS_EXPLICIT_ZICSR_ZIFENCEI=y
 CONFIG_FPU=y
 # end of Platform type
 
@@ -1465,7 +1468,6 @@ CONFIG_SERIAL_8250_EXAR=y
 CONFIG_SERIAL_8250_NR_UARTS=4
 CONFIG_SERIAL_8250_RUNTIME_UARTS=4
 # CONFIG_SERIAL_8250_EXTENDED is not set
-# CONFIG_SERIAL_8250_ASPEED_VUART is not set
 # CONFIG_SERIAL_8250_DW is not set
 # CONFIG_SERIAL_8250_RT288X is not set
 CONFIG_SERIAL_OF_PLATFORM=y