Module: xenomai-rpm
Branch: for-upstream
Commit: f420a1de8cdad9c0da1bebb2b5e50f7145daca37
URL:
http://git.xenomai.org/?p=xenomai-rpm.git;a=commit;h=f420a1de8cdad9c0da1bebb2b5e50f7145daca37
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
