2 # Automatically generated make config: don't edit
5 CONFIG_RTAI_VERSION="3.8 (vulcano)"
10 CONFIG_RTAI_INSTALLDIR="/usr/realtime"
11 CONFIG_RTAI_LINUXDIR="/usr/src/linux"
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
28 CONFIG_RTAI_DONT_DISPATCH_CORE_IRQS=y
29 CONFIG_RTAI_FPU_SUPPORT=y
31 # CONFIG_RTAI_DIAG_TSC_SYNC is not set
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"
61 # CONFIG_RTAI_NETRPC_RTNET is not set
64 # CONFIG_RTAI_RT_POLL is not set
68 CONFIG_RTAI_TASKLETS=m
70 CONFIG_RTAI_CLOCK_REALTIME=y
75 # CONFIG_RTAI_USE_NEWERR is not set
76 # CONFIG_RTAI_IMMEDIATE_LINUX_SYSCALL is not set
78 CONFIG_RTAI_MATH_C99=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
88 # CONFIG_RTAI_LEDS is not set
93 # CONFIG_RTAI_COMEDI_LXRT is not set
94 # CONFIG_RTAI_CPLUSPLUS is not set
95 # CONFIG_RTAI_RTDM is not set
100 CONFIG_RTAI_DRIVERS_SERIAL=y
105 # CONFIG_RTAI_LAB is not set