Module: xenomai-3
Branch: arm64
Commit: 17095784c6d3d44dc7f1512ffab9bb957e298466
URL:
http://git.xenomai.org/?p=xenomai-3.git;a=commit;h=17095784c6d3d44dc7f1512ffab9bb957e298466
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
http://xenomai.org/mailman/listinfo/xenomai-git
