menu "Linux Kernel Extensions"

# Xenomai
config BR2_LINUX_KERNEL_EXT_XENOMAI
	bool "Adeos/Xenomai Real-time patch"
	depends on BR2_TOOLCHAIN_HAS_THREADS
	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.

comment "xenomai needs a toolchain w/ threads"
	depends on BR2_i386 || BR2_x86_64 || BR2_arm || \
		   BR2_bfin || BR2_powerpc || BR2_sh4
	depends on !BR2_TOOLCHAIN_HAS_THREADS

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.

# fbtft
config BR2_LINUX_KERNEL_EXT_FBTFT
	bool "FB TFT drivers"
	select BR2_PACKAGE_FBTFT
	help
	  Linux Framebuffer drivers for small TFT LCD display modules,
	  e.g. Adafruit PiTFT displays for Raspberry Pi.

	  To enable fbtft, e.g. for Adafruit 2.8 PiTFT, enable the
	  following kernel configurations:
	  - CONFIG_SPI
	  - CONFIG_GPIOLIB
	  - CONFIG_FB
	  - CONFIG_FB_TFT
	  - CONFIG_FB_TFT_ILI9341

	  https://github.com/notro/fbtft

endmenu
