buildroot/linux/Config.ext.in

menu "Linux Kernel Extensions"

# Xenomai
config BR2_LINUX_KERNEL_EXT_XENOMAI
	bool "Adeos/Xenomai Real-time patch"
	depends on BR2_i386 || BR2_x86_64 || BR2_arm || \
		   BR2_bfin || BR2_powerpc || BR2_sh4
	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