Module: xenomai-3 Branch: next Commit: 18636672ae98f081bb7c20a4486be82a1354b270 URL: http://git.xenomai.org/?p=xenomai-3.git;a=commit;h=18636672ae98f081bb7c20a4486be82a1354b270
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