Module: xenomai-forge
Branch: master
Commit: ea4f110e93a628590d29245689bffc9469b55a80
URL:
http://git.xenomai.org/?p=xenomai-forge.git;a=commit;h=ea4f110e93a628590d29245689bffc9469b55a80
Author: Gilles Chanteperdrix <gilles.chanteperd...@xenomai.org>
Date: Sun Dec 16 11:07:01 2012 +0100
sh: 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/sh/Kconfig | 4 ++++
1 files changed, 4 insertions(+), 0 deletions(-)
diff --git a/kernel/cobalt/arch/sh/Kconfig b/kernel/cobalt/arch/sh/Kconfig
index e5ce70f..386d4cc 100644
--- a/kernel/cobalt/arch/sh/Kconfig
+++ b/kernel/cobalt/arch/sh/Kconfig
@@ -4,8 +4,12 @@ config XENO_GENERIC_STACKPOOL
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
