|
@@ -1,6 +1,6 @@
|
|
#
|
|
#
|
|
# Automatically generated file; DO NOT EDIT.
|
|
# Automatically generated file; DO NOT EDIT.
|
|
-# Linux/x86 5.12.0-rc2 Kernel Configuration
|
|
|
|
|
|
+# Linux/x86 5.12.0-rc3 Kernel Configuration
|
|
#
|
|
#
|
|
CONFIG_CC_VERSION_TEXT="clang version 11.1.0"
|
|
CONFIG_CC_VERSION_TEXT="clang version 11.1.0"
|
|
CONFIG_GCC_VERSION=0
|
|
CONFIG_GCC_VERSION=0
|
|
@@ -99,8 +99,8 @@ CONFIG_NO_HZ=y
|
|
CONFIG_HIGH_RES_TIMERS=y
|
|
CONFIG_HIGH_RES_TIMERS=y
|
|
# end of Timers subsystem
|
|
# end of Timers subsystem
|
|
|
|
|
|
-# CONFIG_PREEMPT_NONE is not set
|
|
|
|
-CONFIG_PREEMPT_VOLUNTARY=y
|
|
|
|
|
|
+CONFIG_PREEMPT_NONE=y
|
|
|
|
+# CONFIG_PREEMPT_VOLUNTARY is not set
|
|
# CONFIG_PREEMPT is not set
|
|
# CONFIG_PREEMPT is not set
|
|
|
|
|
|
#
|
|
#
|
|
@@ -458,11 +458,11 @@ CONFIG_X86_SGX=y
|
|
CONFIG_EFI=y
|
|
CONFIG_EFI=y
|
|
CONFIG_EFI_STUB=y
|
|
CONFIG_EFI_STUB=y
|
|
CONFIG_EFI_MIXED=y
|
|
CONFIG_EFI_MIXED=y
|
|
-# CONFIG_HZ_100 is not set
|
|
|
|
|
|
+CONFIG_HZ_100=y
|
|
# CONFIG_HZ_250 is not set
|
|
# CONFIG_HZ_250 is not set
|
|
-CONFIG_HZ_300=y
|
|
|
|
|
|
+# CONFIG_HZ_300 is not set
|
|
# CONFIG_HZ_1000 is not set
|
|
# CONFIG_HZ_1000 is not set
|
|
-CONFIG_HZ=300
|
|
|
|
|
|
+CONFIG_HZ=100
|
|
CONFIG_SCHED_HRTICK=y
|
|
CONFIG_SCHED_HRTICK=y
|
|
CONFIG_KEXEC=y
|
|
CONFIG_KEXEC=y
|
|
CONFIG_KEXEC_FILE=y
|
|
CONFIG_KEXEC_FILE=y
|