From 2f92a0b22e3aa46b2785342d0aa5d54bc30d3be2 Mon Sep 17 00:00:00 2001 From: George Dunlap Date: Thu, 8 Feb 2018 16:23:50 +0000 Subject: [PATCH] xen: Disable ARINC653 scheduler by default for non-DEBUG builds The ARINC653 scheduler is targeted at a very specific niche; typical users cannot benefit from using it. Disable it by default for non-DEBUG builds. (Enable it for DEBUG builds so that we catch any build breakages sooner rather than later.) Signed-off-by: George Dunlap Acked-by: Jan Beulich Reviewed-by: Dario Faggioli --- xen/common/Kconfig | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/xen/common/Kconfig b/xen/common/Kconfig index 0a405d0905..68abf7a5e5 100644 --- a/xen/common/Kconfig +++ b/xen/common/Kconfig @@ -186,7 +186,7 @@ config SCHED_RTDS config SCHED_ARINC653 bool "ARINC653 scheduler support (EXPERIMENTAL)" - default y + default DEBUG ---help--- The ARINC653 scheduler is a hard real-time scheduler for single cores, targeted for avionics, drones, and medical devices. -- 2.39.5