|
|
@@ -99,8 +99,10 @@ CONFIG_HIGH_RES_TIMERS=y
|
|
|
# end of Timers subsystem
|
|
|
|
|
|
# CONFIG_PREEMPT_NONE is not set
|
|
|
-CONFIG_PREEMPT_VOLUNTARY=y
|
|
|
-# CONFIG_PREEMPT is not set
|
|
|
+# CONFIG_PREEMPT_VOLUNTARY is not set
|
|
|
+CONFIG_PREEMPT=y
|
|
|
+CONFIG_PREEMPT_COUNT=y
|
|
|
+CONFIG_PREEMPTION=y
|
|
|
|
|
|
#
|
|
|
# CPU/Task time and stats accounting
|
|
|
@@ -126,16 +128,19 @@ CONFIG_CPU_ISOLATION=y
|
|
|
# RCU Subsystem
|
|
|
#
|
|
|
CONFIG_TREE_RCU=y
|
|
|
+CONFIG_PREEMPT_RCU=y
|
|
|
CONFIG_RCU_EXPERT=y
|
|
|
CONFIG_SRCU=y
|
|
|
CONFIG_TREE_SRCU=y
|
|
|
CONFIG_TASKS_RCU_GENERIC=y
|
|
|
+CONFIG_TASKS_RCU=y
|
|
|
CONFIG_TASKS_TRACE_RCU=y
|
|
|
CONFIG_RCU_STALL_COMMON=y
|
|
|
CONFIG_RCU_NEED_SEGCBLIST=y
|
|
|
CONFIG_RCU_FANOUT=64
|
|
|
CONFIG_RCU_FANOUT_LEAF=16
|
|
|
CONFIG_RCU_FAST_NO_HZ=y
|
|
|
+# CONFIG_RCU_BOOST is not set
|
|
|
CONFIG_RCU_NOCB_CPU=y
|
|
|
# CONFIG_TASKS_TRACE_RCU_READ_MB is not set
|
|
|
# end of RCU Subsystem
|
|
|
@@ -446,11 +451,11 @@ CONFIG_X86_INTEL_TSX_MODE_AUTO=y
|
|
|
CONFIG_EFI=y
|
|
|
CONFIG_EFI_STUB=y
|
|
|
CONFIG_EFI_MIXED=y
|
|
|
-CONFIG_HZ_100=y
|
|
|
+# CONFIG_HZ_100 is not set
|
|
|
# CONFIG_HZ_250 is not set
|
|
|
# CONFIG_HZ_300 is not set
|
|
|
-# CONFIG_HZ_1000 is not set
|
|
|
-CONFIG_HZ=100
|
|
|
+CONFIG_HZ_1000=y
|
|
|
+CONFIG_HZ=1000
|
|
|
CONFIG_SCHED_HRTICK=y
|
|
|
CONFIG_KEXEC=y
|
|
|
CONFIG_KEXEC_FILE=y
|
|
|
@@ -933,11 +938,7 @@ CONFIG_BFQ_GROUP_IOSCHED=y
|
|
|
CONFIG_PREEMPT_NOTIFIERS=y
|
|
|
CONFIG_PADATA=y
|
|
|
CONFIG_ASN1=y
|
|
|
-CONFIG_INLINE_SPIN_UNLOCK_IRQ=y
|
|
|
-CONFIG_INLINE_READ_UNLOCK=y
|
|
|
-CONFIG_INLINE_READ_UNLOCK_IRQ=y
|
|
|
-CONFIG_INLINE_WRITE_UNLOCK=y
|
|
|
-CONFIG_INLINE_WRITE_UNLOCK_IRQ=y
|
|
|
+CONFIG_UNINLINE_SPIN_UNLOCK=y
|
|
|
CONFIG_ARCH_SUPPORTS_ATOMIC_RMW=y
|
|
|
CONFIG_MUTEX_SPIN_ON_OWNER=y
|
|
|
CONFIG_RWSEM_SPIN_ON_OWNER=y
|
|
|
@@ -5604,6 +5605,7 @@ CONFIG_MEDIA_CEC_RC=y
|
|
|
CONFIG_MEDIA_CEC_SUPPORT=y
|
|
|
# CONFIG_CEC_CH7322 is not set
|
|
|
# CONFIG_CEC_CROS_EC is not set
|
|
|
+# CONFIG_CEC_GPIO is not set
|
|
|
# CONFIG_CEC_SECO is not set
|
|
|
CONFIG_USB_PULSE8_CEC=m
|
|
|
CONFIG_USB_RAINSHADOW_CEC=m
|
Donald Carr