#
# configuration information specific to RT kernels
#

#
# select full preemption
#
# CONFIG_PREEMPT_NONE is not set
# CONFIG_PREEMPT_VOLUNTARY is not set
# CONFIG_PREEMPT_DESKTOP is not set
CONFIG_PREEMPT_RT=y
CONFIG_PREEMPT=y

#
# Thread both hard and soft IRQs
#
CONFIG_PREEMPT_SOFTIRQS=y
CONFIG_PREEMPT_HARDIRQS=y

# allow preempting the Big Kernel Lock
CONFIG_PREEMPT_BKL=y

#
# select preemptable RCU
#
# CONFIG_CLASSIC_RCU is not set
CONFIG_PREEMPT_RCU=y
CONFIG_PREEMPT_RCU_BOOST=y
# CONFIG_RCU_TRACE is not set


#
# Time stuff
# 
CONFIG_GENERIC_TIME=y
CONFIG_GENERIC_CLOCKEVENTS=y
CONFIG_GENERIC_CLOCKEVENTS_BROADCAST=y
CONFIG_GENERIC_CLOCKEVENTS_BUILD=y

# locks and stuff
CONFIG_RWSEM_GENERIC_SPINLOCK=y
CONFIG_ASM_SEMAPHORES=y
CONFIG_SEMAPHORE_SLEEPERS=y
CONFIG_RWLOCK_TORTURE_TEST=m

#
# Memory allocation
#
CONFIG_SLAB=y
CONFIG_SLABINFO=y
# CONFIG_SLUB is not set
# CONFIG_SLUB_DEBUG is not set


CONFIG_LOCK_KERNEL=y
CONFIG_RT_MUTEXES=y

CONFIG_RADIX_TREE_CONCURRENT=y
CONFIG_RADIX_TREE_OPTIMISTIC=y
CONFIG_INFINIBAND_MADEYE=m
CONFIG_INFINIBAND_NES=m
# CONFIG_INFINIBAND_NES_DEBUG is not set
CONFIG_INFINIBAND_QLGC_VNIC=m
# CONFIG_INFINIBAND_QLGC_VNIC_DEBUG is not set
CONFIG_INFINIBAND_QLGC_VNIC_STATS=y
CONFIG_INFINIBAND_SDP=m
# CONFIG_INFINIBAND_SDP_DEBUG is not set

CONFIG_BLOCKER=m
CONFIG_LPPTEST=m

# RT java hackery
CONFIG_RMEM=m
CONFIG_ALLOC_RTSJ_MEM=y

CONFIG_IBM_RTL=m
CONFIG_SMI_DETECTOR=m

CONFIG_HAVE_FTRACE=y
CONFIG_HARDIRQS_SW_RESEND=y
# CONFIG_EDAC_K8 is not set

# CONFIG_BACKTRACE_SELF_TEST is not set
CONFIG_DEFAULT_MMAP_MIN_ADDR=4096
CONFIG_LSM_MMAP_MIN_ADDR=65536
