8797a9cd1f
[Peter: fix rtai Config.in] Signed-off-by: Thomas Petazzoni <thomas.petazzoni@free-electrons.com> Signed-off-by: Peter Korsgaard <jacmet@sunsite.dk>
32 lines
850 B
Plaintext
32 lines
850 B
Plaintext
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
|