2011-09-17 22:22:51 +02:00
|
|
|
menu "Linux Kernel Extensions"
|
|
|
|
|
2011-09-17 22:22:52 +02:00
|
|
|
# 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.
|
|
|
|
|
2011-09-17 22:22:58 +02:00
|
|
|
# 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.
|
|
|
|
|
2011-09-17 22:22:51 +02:00
|
|
|
endmenu
|