diff options
Diffstat (limited to '.rtaiconfig')
-rw-r--r-- | .rtaiconfig | 65 |
1 files changed, 65 insertions, 0 deletions
diff --git a/.rtaiconfig b/.rtaiconfig new file mode 100644 index 000000000..d91f4911c --- /dev/null +++ b/.rtaiconfig @@ -0,0 +1,65 @@ +# +# Automatically generated by make menuconfig: don't edit +# +CONFIG_RTAI=m +CONFIG_RTAI_MOUNT_ON_LOAD=y +# CONFIG_RTAI_LINUX22 is not set +CONFIG_RTAI_LINUX24=y + +# +# Code maturity level options +# +# CONFIG_RTAI_EXPERIMENTAL is not set +CONFIG_RTAI_RTHAL=y +# CONFIG_RTAI_ALLSOFT is not set +# CONFIG_RTAI_MINI_LXRT is not set +# CONFIG_RTAI_DEFERREDIRQ is not set + +# +# Schedulers +# +CONFIG_RTAI_SCHED_UP=m +# CONFIG_RTAI_SCHED_SMP is not set +# CONFIG_RTAI_SCHED_MUP is not set + +# +# Features +# +CONFIG_RTAI_FPU_SUPPORT=y +CONFIG_RTAI_LIBM=m +# CONFIG_RTAI_STRANGE_APIC is not set +CONFIG_RTAI_NEW_ASM=y + +# +# Subsystems +# +CONFIG_RTAI_DYN_MM=y +# CONFIG_RTAI_MM_VMALLOC is not set +CONFIG_RTAI_FIFOS=m +CONFIG_RTAI_SHMEM=m +CONFIG_RTAI_POSIX=m +CONFIG_RTAI_WATCHDOG=m +CONFIG_RTAI_LXRT=m +CONFIG_RTAI_LXRT_KTRD=y +# CONFIG_RTAI_LXRT_NOKTRD is not set +CONFIG_RTAI_NEWLXRT=m +# CONFIG_RTAI_NEWLXRT_NOBUDDY is not set +CONFIG_RTAI_NEWLXRT_BUDDY=y +# CONFIG_RTAI_LXRT_RTW is not set +# CONFIG_RTAI_RTCOM_LXRT is not set +CONFIG_RTAI_FIFOS_LXRT=m +# CONFIG_RTAI_CPLUSPLUS is not set +CONFIG_RTAI_TASKLETS=m +# CONFIG_RTAI_USI is not set +# CONFIG_RTAI_BITS is not set +# CONFIG_RTAI_TBX is not set +# CONFIG_RTAI_RTCOM is not set +# CONFIG_RTAI_SPDRV is not set +# CONFIG_RTAI_NETRPC is not set + +# +# Tests and Examples +# +# CONFIG_RTAI_EXAMPLES is not set +# CONFIG_RTAI_LXRT_EXAMPLES is not set +# CONFIG_RTAI_TESTS is not set |