Module: xenomai-3
Branch: next
Commit: 66cd71bfdc1285acebbce7a5e1d06961f796f8d1
URL:    
http://git.xenomai.org/?p=xenomai-3.git;a=commit;h=66cd71bfdc1285acebbce7a5e1d06961f796f8d1

Author: Philippe Gerum <r...@xenomai.org>
Date:   Thu Sep 17 15:08:34 2015 +0200

cobalt/arm64: leave mm tracking to the pipeline

---

 kernel/cobalt/arch/arm64/Kconfig |    3 ---
 1 file changed, 3 deletions(-)

diff --git a/kernel/cobalt/arch/arm64/Kconfig b/kernel/cobalt/arch/arm64/Kconfig
index 927c647..dd5a8c6 100644
--- a/kernel/cobalt/arch/arm64/Kconfig
+++ b/kernel/cobalt/arch/arm64/Kconfig
@@ -4,9 +4,6 @@ source "drivers/xenomai/Kconfig"
 config XENO_ARCH_UNLOCKED_SWITCH
        def_bool IPIPE_WANT_PREEMPTIBLE_SWITCH
 
-config IPIPE_WANT_ACTIVE_MM
-       def_bool y
-
 config XENO_ARCH_WANT_TIP
        def_bool y
 


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

Reply via email to