# This file was originally from the Linux kernel source.
#   -- Cort <cort@fsmlabs.com>
#
# Format of this file: description<nl>variable<nl>help text<nl><nl>. If
# the question being documented is of type "choice", we list only the
# first occurring config variable. The help texts may contain empty
# lines, but every non-empty line must be indented two positions.
# Order of the help texts does not matter, however, no variable should
# be documented twice: if it is, only the first occurrence will be
# used by Configure. We try to keep the help texts of related variables
# close together. Lines starting with `#' are ignored. To be nice to
# menuconfig, limit your line length to 70 characters. Use emacs'
# kfill.el to edit and ispell.el to spell check this file or you lose.
#
# If you add a help text to this file, please try to be as gentle as
# possible. Don't use unexplained acronyms and generally write for the
# hypothetical ignorant but intelligent user who has just bought a PC,
# removed Windows, installed Linux and is now recompiling the kernel
# for the first time. Tell them what to do if they're unsure. Technical 
# information should go in a README in the Documentation directory.
# Mention all the relevant READMEs and HOWTOs in the help text.
# Repetitions are fine since the help texts are not meant to be read
# in sequence.
#
# All this was shamelessly stolen from several different sources. Many
# thanks to all the contributors. Feel free to use these help texts in
# your own kernel configuration tools. The texts are copyrighted (c)
# 1995-1999 by Axel Boldt and many others and are governed by the GNU
# General Public License.

POSIX Style IO
CONFIG_RTL_POSIX_IO
  This allows POSIX style IO operations inside of RTLinux.

Floating Point Support
CONFIG_RTL_FP_SUPPORT
  This allows the use of FP operations in real-time threads.

Dev Mem Support
CONFIG_RTL_DEVMEM_SUPPORT
  Saying Y to this option enables support of the /dev/mem device
  in RTL-threads.

Enable Debugging
CONFIG_RTL_DEBUG
  This option compiles RTLinux modules with debugging support.
  Say Y if you want to debug RT-programs.

Mutex Support
CONFIG_RTL_MUTEX_SUPPORT
  Saying Y to this option will enable POSIX mutex support.
  If unsure, say Y.

Max Number of Mutex Waiters
CONFIG_RTL_MUTEX_MAX_WAITERS
  Maximum number of RT-threads that can be blocked on a mutex.

rtl_printf uses printk
CONFIG_RTL_SLOW_CONSOLE
  Say Y here if you want rtl_printf output to be buffered and
  then passed to Linux printk facility. It is useful if you
  are in X-Windows, since the output can then be viewed via
  dmesg and/or syslog. In certain situations, you may want
  to disable this option, for example when Linux has
  no chance to print a message (a crash occurs).

RTLinux V1 API support
CONFIG_RTL_USE_V1_API
  Say Y here if you need the old RTLinux v1 API.

POSIX Priority Protection
_POSIX_THREAD_PRIO_PROTECT
  Enables support for the POSIX priority ceiling protocol.
  See pthread_mutexattr_setprioceiling(3).

POSIX Timeouts
_POSIX_TIMEOUTS
  Support for the POSIX timeouts option:
  pthread_mutex_timedlock, sem_timedwait.

RTLinux tracer support
CONFIG_RTL_TRACER
  The RTLinux tracer allows tracing various events in the system.

Nolinux support
CONFIG_RTL_SUSPEND_LINUX
  On SMP, this feature allows dedicating some CPUs exclusively
  to RTLinux threads.  Among other things, this can be used
  to dramatically reduce scheduling jitter. You need a 2.4.X kernel
  with CONFIG_SMP enabled for this option to work.

