rtai-userspace/rtai.config

   1 #
   2 # Automatically generated make config: don't edit
   3 #
   4 CONFIG_MODULES=y
   5 CONFIG_RTAI_VERSION="3.8 (vulcano)"
   6
   7 #
   8 # General
   9 #
  10 CONFIG_RTAI_INSTALLDIR="/usr/realtime"
  11 CONFIG_RTAI_LINUXDIR="/usr/src/linux"
  12
  13 #
  14 # RTAI Documentation
  15 #
  16 # CONFIG_RTAI_DOX_DOC is not set
  17 # CONFIG_RTAI_DOC_LATEX_NONSTOP is not set
  18 # CONFIG_RTAI_DBX_DOC is not set
  19 CONFIG_RTAI_TESTSUITE=y
  20 # CONFIG_RTAI_COMPAT is not set
  21 # CONFIG_RTAI_EXTENDED is not set
  22 CONFIG_RTAI_LXRT_STATIC_INLINE=y
  23 # CONFIG_RTAI_LXRT_NO_INLINE is not set
  24
  25 #
  26 # Machine (x86)
  27 #
  28 CONFIG_RTAI_DONT_DISPATCH_CORE_IRQS=y
  29 CONFIG_RTAI_FPU_SUPPORT=y
  30 CONFIG_RTAI_CPUS="8"
  31 # CONFIG_RTAI_DIAG_TSC_SYNC is not set
  32
  33 #
  34 # Base system
  35 #
  36
  37 #
  38 # Scheduling options
  39 #
  40 # CONFIG_RTAI_SCHED_ISR_LOCK is not set
  41 CONFIG_RTAI_RTC_FREQ="0"
  42 # CONFIG_RTAI_LONG_TIMED_LIST is not set
  43 CONFIG_RTAI_SCHED_8254_LATENCY="4700"
  44 CONFIG_RTAI_SCHED_APIC_LATENCY="3944"
  45 CONFIG_RTAI_SCHED_LXRT_NUMSLOTS="150"
  46 CONFIG_RTAI_MONITOR_EXECTIME=y
  47 CONFIG_RTAI_ALLOW_RR=y
  48 # CONFIG_RTAI_FULL_PRINHER is not set
  49 # CONFIG_RTAI_BUSY_TIME_ALIGN is not set
  50 CONFIG_RTAI_LXRT_USE_LINUX_SYSCALL=y
  51 # CONFIG_RTAI_ALIGN_LINUX_PRIORITY is not set
  52 # CONFIG_RTAI_ONE_SHOT is not set
  53 CONFIG_RTAI_CAL_FREQS_FACT="0"
  54
  55 #
  56 # Supported services
  57 #
  58 CONFIG_RTAI_BITS=m
  59 CONFIG_RTAI_FIFOS=m
  60 CONFIG_RTAI_NETRPC=m
  61 # CONFIG_RTAI_NETRPC_RTNET is not set
  62 CONFIG_RTAI_SHM=m
  63 CONFIG_RTAI_SEM=m
  64 # CONFIG_RTAI_RT_POLL is not set
  65 CONFIG_RTAI_MSG=m
  66 CONFIG_RTAI_MBX=m
  67 CONFIG_RTAI_TBX=m
  68 CONFIG_RTAI_TASKLETS=m
  69 CONFIG_RTAI_MQ=m
  70 CONFIG_RTAI_CLOCK_REALTIME=y
  71
  72 #
  73 # Other features
  74 #
  75 # CONFIG_RTAI_USE_NEWERR is not set
  76 # CONFIG_RTAI_IMMEDIATE_LINUX_SYSCALL is not set
  77 CONFIG_RTAI_MATH=y
  78 CONFIG_RTAI_MATH_C99=y
  79 CONFIG_RTAI_MALLOC=y
  80 # CONFIG_RTAI_USE_TLSF is not set
  81 CONFIG_RTAI_MALLOC_VMALLOC=y
  82 CONFIG_RTAI_MALLOC_HEAPSZ="2048"
  83 CONFIG_RTAI_KSTACK_HEAPSZ="512"
  84 # CONFIG_RTAI_TASK_SWITCH_SIGNAL is not set
  85 # CONFIG_RTAI_TRACE is not set
  86 # CONFIG_RTAI_USI is not set
  87 CONFIG_RTAI_WD=y
  88 # CONFIG_RTAI_LEDS is not set
  89
  90 #
  91 # Add-ons
  92 #
  93 # CONFIG_RTAI_COMEDI_LXRT is not set
  94 # CONFIG_RTAI_CPLUSPLUS is not set
  95 # CONFIG_RTAI_RTDM is not set
  96
  97 #
  98 # Drivers
  99 #
 100 CONFIG_RTAI_DRIVERS_SERIAL=y
 101
 102 #
 103 # RTAI Lab
 104 #
 105 # CONFIG_RTAI_LAB is not set