From: George Dunlap Date: Thu, 8 Feb 2018 16:23:50 +0000 (+0000) Subject: xen: Disable ARINC653 scheduler by default for non-DEBUG builds X-Git-Url: http://xenbits.xensource.com/gitweb?a=commitdiff_plain;h=2f92a0b22e3aa46b2785342d0aa5d54bc30d3be2;p=people%2Fdariof%2Fxen.git 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 --- 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.