package/xenomai/Config.in

22 	  Real-Time Framework for Linux
29 	  mainly in libraries to write userspace real-time programs
30 	  that interact with the in-kernel Xenomai real-time core.
32 	  For those libraries to work, you need a Xenomai-enabled
34 	   - if you compile your kernel with Buildroot, you need to go
35 	     to Linux Kernel -> Linux Kernel Extensions to enable the
37 	   - if you compile your kernel outside of Buildroot, you need
38 	     to make sure that it is Xenomai-enabled.
52 	  in the Linux Kernel -> Linux Kernel Extensions menu.
106 	prompt "Xenomai core"
109 	  Select the Xenomai core: dual kernel (Cobalt)
116 	  Select Mercury core for the Xenomai userspace.
123 	  Select Cobalt core (dual kernel) for the Xenomai
124 	  userspace. Use this if you use a Xenomai-patched
127 	  If you want to use Cobalt core, your kernel must have
151 …http://xenomai.org/troubleshooting-a-dual-kernel-configuration/#feature_mismatch_missing8221smpnos…
161 	  pseudo-filesystem, whose files may be read to obtain
162 	  information about the existing real-time objects, such as
191 	  This option allows to install the Xenomai RT-CAN utilities.