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>
# 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_PACKAGE_XENOMAI
bool "Xenomai Userspace"
+ depends on BR2_i386 || BR2_x86_64 || BR2_arm || \
+ BR2_bfin || BR2_powerpc || BR2_sh4
help
Real-Time Framework for Linux
http://www.xenomai.org