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

Author: Gilles Chanteperdrix <gilles.chanteperd...@xenomai.org>
Date:   Sun Dec 16 11:07:01 2012 +0100

powerpc: turn on IPIPE_WANT_ACTIVE_MM

Starting with the I-pipe core for Linux 3.5, Xenomai should select the
CONFIG_IPIPE_WANT_ACTIVE_MM symbol when it is not possible to rely on
current->active_mm to get the current mm. This means:
- when unlocked context switches are enabled on powerpc and sh
- always on arm.

---

 kernel/cobalt/arch/powerpc/Kconfig |    4 ++++
 1 files changed, 4 insertions(+), 0 deletions(-)

diff --git a/kernel/cobalt/arch/powerpc/Kconfig 
b/kernel/cobalt/arch/powerpc/Kconfig
index 0265f52..7eafffc 100644
--- a/kernel/cobalt/arch/powerpc/Kconfig
+++ b/kernel/cobalt/arch/powerpc/Kconfig
@@ -8,8 +8,12 @@ config XENO_HW_MATH_EMU
 
 menu "Hardware options"
 
+config IPIPE_WANT_ACTIVE_MM
+        bool
+
 config IPIPE_WANT_PREEMPTIBLE_SWITCH
         bool
+       select IPIPE_WANT_ACTIVE_MM
        default y if XENO_HW_UNLOCKED_SWITCH
        default n if !XENO_HW_UNLOCKED_SWITCH
 


_______________________________________________
Xenomai-git mailing list
Xenomai-git@xenomai.org
http://www.xenomai.org/mailman/listinfo/xenomai-git

Reply via email to