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