Module: xenomai-head Branch: master Commit: b712571a23982ef639adcbc061cb0fef45a6133c URL: http://git.xenomai.org/?p=xenomai-head.git;a=commit;h=b712571a23982ef639adcbc061cb0fef45a6133c
Author: Philippe Gerum <[email protected]> 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 [email protected] https://mail.gna.org/listinfo/xenomai-git
