Module: xenomai-forge
Branch: master
Commit: 846892262adef5bc3b163369d2c1cefc64086319
URL:
http://git.xenomai.org/?p=xenomai-forge.git;a=commit;h=846892262adef5bc3b163369d2c1cefc64086319
Author: Gilles Chanteperdrix <gilles.chanteperd...@xenomai.org>
Date: Tue Mar 27 03:09:33 2012 +0200
Kconfig: make dependency upon GENERIC_CLOCKEVENTS explicit
---
scripts/Kconfig.frag | 18 +++++++++++-------
1 files changed, 11 insertions(+), 7 deletions(-)
diff --git a/scripts/Kconfig.frag b/scripts/Kconfig.frag
index bbc9cbe..0841598 100644
--- a/scripts/Kconfig.frag
+++ b/scripts/Kconfig.frag
@@ -1,14 +1,14 @@
-
config XENOMAI
+ depends on GENERIC_CLOCKEVENTS
depends on (X86_TSC || !X86) && (!HPET_TIMER || !X86 || X86_LOCAL_APIC)
bool "Xenomai"
- select IPIPE
+ select IPIPE
default y
- help
- Xenomai is a real-time extension to the Linux kernel. Note
- that Xenomai relies on Adeos interrupt pipeline (CONFIG_IPIPE
- option) to be enabled, so enabling this option selects the
- CONFIG_IPIPE option.
+ help
+ Xenomai is a real-time extension to the Linux kernel. Note
+ that Xenomai relies on Adeos interrupt pipeline (CONFIG_IPIPE
+ option) to be enabled, so enabling this option selects the
+ CONFIG_IPIPE option.
if XENOMAI
source "arch/@LINUX_ARCH@/xenomai/Kconfig"
@@ -20,6 +20,10 @@ comment "or Intel cpuidle option. These options are known to
cause troubles"
comment "with Xenomai, disable them."
endif
+if !GENERIC_CLOCKEVENTS
+comment "NOTE: Xenomai needs CONFIG_GENERIC_CLOCKEVENTS"
+endif
+
comment "NOTE: Xenomai needs either X86_LOCAL_APIC enabled or HPET_TIMER
disabled."
depends on !X86_LOCAL_APIC && X86 && HPET_TIMER
comment "(menu Processor type and features)"
_______________________________________________
Xenomai-git mailing list
Xenomai-git@xenomai.org
http://www.xenomai.org/mailman/listinfo/xenomai-git
