Module: xenomai-head
Branch: master
Commit: 4d21a90a4f8b1ff32fc0324830c58deec342819a
URL:    
http://git.xenomai.org/?p=xenomai-head.git;a=commit;h=4d21a90a4f8b1ff32fc0324830c58deec342819a

Author: Gilles Chanteperdrix <gilles.chanteperd...@xenomai.org>
Date:   Mon Aug 17 23:49:03 2009 +0200

arm: only enable I-pipe preemptible switch if UNLOCKED_SWITCH is enabled

---

 ksrc/arch/arm/Kconfig |    3 ++-
 1 files changed, 2 insertions(+), 1 deletions(-)

diff --git a/ksrc/arch/arm/Kconfig b/ksrc/arch/arm/Kconfig
index 5a9be9f..8dcb28f 100644
--- a/ksrc/arch/arm/Kconfig
+++ b/ksrc/arch/arm/Kconfig
@@ -18,7 +18,8 @@ depends on XENO_OPT_NUCLEUS
 
 config IPIPE_WANT_PREEMPTIBLE_SWITCH
        bool
-       default y
+       default y if XENO_HW_UNLOCKED_SWITCH
+       default n if !XENO_HW_UNLOCKED_SWITCH
 
 config XENO_HW_FPU
        bool "Enable FPU support"


_______________________________________________
Xenomai-git mailing list
Xenomai-git@gna.org
https://mail.gna.org/listinfo/xenomai-git

Reply via email to