8d472bb50c
Signed-off-by: Thomas Petazzoni <thomas.petazzoni@free-electrons.com> Reviewed-by: Thomas De Schampheleire <thomas.de.schampheleire@gmail.com> Signed-off-by: Peter Korsgaard <jacmet@sunsite.dk>
34 lines
941 B
Plaintext
34 lines
941 B
Plaintext
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
|