#
# Automatically generated make config: don't edit
#
CONFIG_MODULES=y
CONFIG_RTAI_VERSION="5.3 (vulcano)"

#
# General
#
CONFIG_RTAI_INSTALLDIR="/usr/realtime"
CONFIG_RTAI_LINUXDIR="/usr/src/linux"

#
# RTAI Documentation
#
# CONFIG_RTAI_DOX_DOC is not set
# CONFIG_RTAI_DOC_LATEX_NONSTOP is not set
# CONFIG_RTAI_DBX_DOC is not set
CONFIG_RTAI_TESTSUITE=y
CONFIG_RTAI_COMPAT=y
# CONFIG_RTAI_EXTENDED is not set
CONFIG_RTAI_LXRT_NO_INLINE=y
# CONFIG_RTAI_LXRT_STATIC_INLINE is not set
CONFIG_RTAI_FORTIFY_SOURCE=""

#
# Machine (x86)
#
CONFIG_RTAI_FPU_SUPPORT=y
CONFIG_RTAI_CPUS="8"
# CONFIG_RTAI_DIAG_TSC_SYNC is not set

#
# Base system
#

#
# Scheduling options
#
# CONFIG_RTAI_SCHED_ISR_LOCK is not set
# CONFIG_RTAI_LONG_TIMED_LIST is not set
# CONFIG_RTAI_USE_STACK_ARGS is not set
CONFIG_RTAI_LATENCY_SELF_CALIBRATION_METRICS="1"
CONFIG_RTAI_LATENCY_SELF_CALIBRATION_FREQ="10000"
CONFIG_RTAI_LATENCY_SELF_CALIBRATION_CYCLES="10000"
CONFIG_RTAI_KERN_BUSY_ALIGN_RET_DELAY="0"
CONFIG_RTAI_USER_BUSY_ALIGN_RET_DELAY="0"
CONFIG_RTAI_SCHED_LXRT_NUMSLOTS="150"
CONFIG_RTAI_MONITOR_EXECTIME=y
CONFIG_RTAI_ALLOW_RR=y
# CONFIG_RTAI_FULL_PRINHER is not set
# CONFIG_RTAI_ALIGN_LINUX_PRIORITY is not set
# CONFIG_RTAI_ONE_SHOT is not set
CONFIG_RTAI_CAL_FREQS_FACT="0"

#
# Supported services
#
CONFIG_RTAI_BITS=m
CONFIG_RTAI_FIFOS=m
CONFIG_RTAI_NETRPC=m
# CONFIG_RTAI_NETRPC_RTNET is not set
CONFIG_RTAI_SHM=m
CONFIG_RTAI_SEM=m
# CONFIG_RTAI_RT_POLL is not set
CONFIG_RTAI_MSG=m
CONFIG_RTAI_MBX=m
CONFIG_RTAI_TBX=m
CONFIG_RTAI_TASKLETS=m
CONFIG_RTAI_MQ=m
CONFIG_RTAI_CLOCK_REALTIME=y

#
# Other features
#
CONFIG_RTAI_USE_NEWERR=y
# CONFIG_RTAI_MATH is not set
CONFIG_RTAI_MALLOC=y
# CONFIG_RTAI_USE_TLSF is not set
CONFIG_RTAI_MALLOC_VMALLOC=y
CONFIG_RTAI_MALLOC_HEAPSZ="2048"
CONFIG_RTAI_KSTACK_HEAPSZ="512"
# CONFIG_RTAI_TASK_SWITCH_SIGNAL is not set
# CONFIG_RTAI_USI is not set
# CONFIG_RTAI_WD is not set

#
# Add-ons
#
# CONFIG_RTAI_COMEDI_LXRT is not set
# CONFIG_RTAI_CPLUSPLUS is not set
CONFIG_RTAI_RTDM=y
CONFIG_RTAI_RTDM_FD_MAX="128"
# CONFIG_RTAI_RTDM_SELECT is not set
# CONFIG_RTAI_RTDM_SHIRQ is not set
CONFIG_RTAI_DEBUG_RTDM=y

#
# Drivers
#
CONFIG_RTAI_DRIVERS_SERIAL=y
# CONFIG_RTAI_DRIVERS_16550A is not set

#
# RTAI Lab
#
# CONFIG_RTAI_LAB is not set
