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.

	  In the current version of Xenomai, the following kernel
	  versions are supported: on Blackfin, 2.6.34 and 2.6.36.9, on
	  SH4, 2.6.32.10, on x86, 2.6.35.9, 2.6.37.6, 2.6.38.8, on
	  ARM, 2.6.35.9, 2.6.37.6, 2.6.38.8, on NIOS2, 2.6.35, on
	  PowerPC, 2.6.35.7, 2.6.36.4, 3.0.8.

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