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

Author: Philippe Gerum <r...@xenomai.org>
Date:   Sun May  2 12:20:50 2010 +0200

arm: force enable preemptible switch support in SMP mode

---

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

diff --git a/ksrc/arch/arm/Kconfig b/ksrc/arch/arm/Kconfig
index 8dcb28f..deee854 100644
--- a/ksrc/arch/arm/Kconfig
+++ b/ksrc/arch/arm/Kconfig
@@ -18,8 +18,8 @@ depends on XENO_OPT_NUCLEUS
 
 config IPIPE_WANT_PREEMPTIBLE_SWITCH
        bool
-       default y if XENO_HW_UNLOCKED_SWITCH
-       default n if !XENO_HW_UNLOCKED_SWITCH
+       default y if (XENO_HW_UNLOCKED_SWITCH || SMP)
+       default n if !XENO_HW_UNLOCKED_SWITCH && !SMP
 
 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