####
# Planet CCRMA low latency kernel options
####

# selected from options after selecting EXPERT in make xconfig
# and then PREEMPT_RT

CONFIG_EXPERT=y

CONFIG_PREEMPT_LAZY=y
# CONFIG_PREEMPT_VOLUNTARY is not set
CONFIG_PREEMPT_RT=y
CONFIG_PREEMPT_COUNT=y
CONFIG_PREEMPTION=y
 
CONFIG_PREEMPT_RCU=y
CONFIG_RCU_BOOST=y
CONFIG_RCU_BOOST_DELAY=500

# CONFIG_RT_GROUP_SCHED is not set
# CONFIG_SLAB is not set
# CONFIG_SLOB is not set

# CONFIG_CEC_GPIO is not set
# CONFIG_LEDS_TRIGGER_CPU is not set

CONFIG_DEBUG_PREEMPT=y
 
# CONFIG_PREEMPT_TRACER is not set

####
# Options selected from the ArchLinux configuration file
####

CONFIG_NO_HZ_IDLE=y
# CONFIG_NO_HZ_FULL is not set

