diff options
| author | Thomas Petazzoni <thomas.petazzoni@free-electrons.com> | 2012-01-03 21:48:47 +0100 |
|---|---|---|
| committer | Peter Korsgaard <jacmet@sunsite.dk> | 2012-01-07 20:42:22 +0100 |
| commit | 8d472bb50ce83d02bba28df6557b65efc2e0db48 (patch) | |
| tree | 8b561f6bb4a49fe15d776b86828188aca980b487 /linux | |
| parent | fa1c862617ac0d2b60a7bbbc148a1e96912036f7 (diff) | |
xenomai: restrict to the set of supported architectures
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>
Diffstat (limited to 'linux')
| -rw-r--r-- | linux/Config.ext.in | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/linux/Config.ext.in b/linux/Config.ext.in index 8a9f87ec4..b304efd9a 100644 --- a/linux/Config.ext.in +++ b/linux/Config.ext.in @@ -3,6 +3,8 @@ 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. |