Module: xenomai-gch
Branch: for-forge
Commit: 08bcf8e92dd329ce478cc77ec9e5a4ffd5ce09cb
URL:    
http://git.xenomai.org/?p=xenomai-gch.git;a=commit;h=08bcf8e92dd329ce478cc77ec9e5a4ffd5ce09cb

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@gna.org
https://mail.gna.org/listinfo/xenomai-git

Reply via email to