#
# Automatically generated make config: don't edit
#
CONFIG_MODULES=y
CONFIG_XENO_VERSION="2.0"

#
# General
#
CONFIG_XENO_INSTALLDIR="/usr/realtime/2.6.13-ski7-v1"
CONFIG_XENO_LINUXDIR="/lib/modules/2.6.13-ski7-v1/build"

#
# Documentation
#
CONFIG_XENO_DOC_DOX=y
# CONFIG_XENO_DOC_LATEX_NONSTOP is not set
# CONFIG_XENO_DOC_DBX is not set
CONFIG_XENO_OPT_UDEV=y
# CONFIG_XENO_OPT_EXPERT is not set

#
# Nucleus
#
CONFIG_XENO_OPT_PERVASIVE=y
CONFIG_XENO_OPT_PIPE=y
CONFIG_XENO_OPT_PIPE_NRDEV="32"
CONFIG_XENO_OPT_SYS_HEAPSZ="128"

#
# Machine (x86)
#
CONFIG_XENO_HW_FPU=y
CONFIG_XENO_HW_PERIODIC_TIMER=y

#
# NMI watchdog
#

#
# This menu requires enabling the 'Expert' mode.
#

#
# SMI workaround
#
CONFIG_XENO_HW_SMI_DETECT=y
CONFIG_XENO_HW_SMI_WORKAROUND=y
CONFIG_XENO_HW_SMI_ALL=y

#
# APIs
#
CONFIG_XENO_SKIN_NATIVE=y
CONFIG_XENO_OPT_NATIVE_REGISTRY=y
CONFIG_XENO_OPT_NATIVE_REGISTRY_NRSLOTS="512"
CONFIG_XENO_OPT_NATIVE_PIPE=y
CONFIG_XENO_OPT_NATIVE_PIPE_BUFSZ="4096"
CONFIG_XENO_OPT_NATIVE_SEM=y
CONFIG_XENO_OPT_NATIVE_EVENT=y
CONFIG_XENO_OPT_NATIVE_MUTEX=y
CONFIG_XENO_OPT_NATIVE_COND=y
CONFIG_XENO_OPT_NATIVE_QUEUE=y
CONFIG_XENO_OPT_NATIVE_HEAP=y
CONFIG_XENO_OPT_NATIVE_ALARM=y
CONFIG_XENO_OPT_NATIVE_MPS=y
CONFIG_XENO_OPT_NATIVE_INTR=y
CONFIG_XENO_SKIN_POSIX=y
CONFIG_XENO_SKIN_PSOS=y
CONFIG_XENO_SKIN_UITRON=y
CONFIG_XENO_SKIN_VRTX=y
CONFIG_XENO_SKIN_VXWORKS=y
CONFIG_XENO_SKIN_RTDM=y
CONFIG_XENO_SKIN_RTAI=y
CONFIG_XENO_OPT_UVM=y

#
# Drivers
#
CONFIG_XENO_DRIVERS_16550A=y

#
# Simulator
#
# CONFIG_XENO_MVM is not set