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

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