1
# CONFIG_RCU_BOOST is not set
2
# CONFIG_NTP_PPS is not set
3
# CONFIG_RCU_CPU_STALL_DETECTOR is not set
4
# CONFIG_RCU_CPU_STALL_VERBOSE is not set
5
# CONFIG_PREEMPT_TRACER is not set
10
# CONFIG_EXPERT is not set
11
# CONFIG_NO_HZ is not set
12
# CONFIG_DEBUG_KERNEL is not set