Module: xenomai-3 Branch: next Commit: 811fdd619f3567f6cfb9a6a13bb7e20417e14d5b URL: http://git.xenomai.org/?p=xenomai-3.git;a=commit;h=811fdd619f3567f6cfb9a6a13bb7e20417e14d5b
Author: Philippe Gerum <r...@xenomai.org> Date: Sat Nov 14 15:21:02 2015 +0100 cobalt/arm: track current mm unconditionally All pipelines Cobalt can work with (i.e. 3.10+) for the arm architecture do provide the mm tracking feature unconditionally, so there is no point in keeping any build switch for it. --- kernel/cobalt/arch/arm/Kconfig | 3 --- 1 file changed, 3 deletions(-) diff --git a/kernel/cobalt/arch/arm/Kconfig b/kernel/cobalt/arch/arm/Kconfig index 2043d70..0c4e0aa 100644 --- a/kernel/cobalt/arch/arm/Kconfig +++ b/kernel/cobalt/arch/arm/Kconfig @@ -23,9 +23,6 @@ config IPIPE_WANT_PREEMPTIBLE_SWITCH default y if XENO_ARCH_UNLOCKED_SWITCH default n if !XENO_ARCH_UNLOCKED_SWITCH -config IPIPE_WANT_ACTIVE_MM - def_bool y - config XENO_ARCH_FPU def_bool VFP _______________________________________________ Xenomai-git mailing list Xenomai-git@xenomai.org https://xenomai.org/mailman/listinfo/xenomai-git