| menu "Linux Kernel Extensions" |
| |
| # Xenomai |
| config BR2_LINUX_KERNEL_EXT_XENOMAI |
| bool "Adeos/Xenomai Real-time patch" |
| select BR2_PACKAGE_XENOMAI |
| help |
| Xenomai Kernel part. |
| |
| config BR2_LINUX_KERNEL_EXT_XENOMAI_ADEOS_PATCH |
| depends on BR2_LINUX_KERNEL_EXT_XENOMAI |
| string "Path for Adeos patch file" |
| help |
| Optionally, explicitly specify the Adeos patch to use. |
| Download it at http://download.gna.org/adeos/patches/v2.6/$(ARCH)/ |
| and verify that your kernel version in buildroot matches. |
| |
| # RTAI |
| config BR2_LINUX_KERNEL_EXT_RTAI |
| bool "RTAI Real-time patch" |
| select BR2_PACKAGE_RTAI |
| help |
| RTAI Kernel part. |
| |
| config BR2_LINUX_KERNEL_EXT_RTAI_PATCH |
| depends on BR2_LINUX_KERNEL_EXT_RTAI |
| string "Path for RTAI patch file" |
| help |
| Optionally, explicitly specify the RTAI patch to use. |
| |
| endmenu |
