Update configs
[kernel-configs.git] / 4.19 / rpm / arm64
index c7d1d6f10eff7a0764b65492faaf08af209853bd..035f0a009ba0d358c683d39a4fbff7a718d38345 100644 (file)
@@ -1,13 +1,13 @@
 #
 # Automatically generated file; DO NOT EDIT.
-# Linux/arm64 4.19.234-gnu1 Kernel Configuration
+# Linux/arm64 4.19.241-gnu1 Kernel Configuration
 #
 
 #
-# Compiler: aarch64-linux-gcc (GCC) 11.2.0
+# Compiler: aarch64-linux-gcc (GCC) 11.3.0
 #
 CONFIG_CC_IS_GCC=y
-CONFIG_GCC_VERSION=110200
+CONFIG_GCC_VERSION=110300
 CONFIG_CLANG_VERSION=0
 CONFIG_CC_HAS_ASM_GOTO=y
 CONFIG_IRQ_WORK=y
@@ -432,6 +432,7 @@ CONFIG_UNMAP_KERNEL_AT_EL0=y
 CONFIG_HARDEN_BRANCH_PREDICTOR=y
 CONFIG_HARDEN_EL2_VECTORS=y
 CONFIG_ARM64_SSBD=y
+CONFIG_MITIGATE_SPECTRE_BRANCH_HISTORY=y
 CONFIG_ARM64_SW_TTBR0_PAN=y
 
 #
@@ -3164,7 +3165,6 @@ CONFIG_IEEE802154_MCR20A=m
 # CONFIG_NETDEVSIM is not set
 CONFIG_NET_FAILOVER=m
 # CONFIG_ISDN is not set
-# CONFIG_NVM is not set
 
 #
 # Input device support