[Xen-devel] [PATCH 3/3] xen: Disable ARINC653 scheduler by default for non-DEBUG builds

[George Dunlap <george.dunlap@xxxxxxxxxx>]

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 <george.dunlap@xxxxxxxxxx>
---
CC: Ian Jackson <ian.jackson@xxxxxxxxxx>
CC: Wei Liu <wei.liu2@xxxxxxxxxx>
CC: Andrew Cooper <andrew.cooper3@xxxxxxxxxx>
CC: Jan Beulich <jbeulich@xxxxxxxx>
CC: Tim Deegan <tim@xxxxxxx>
CC: Stefano Stabellini <sstabellini@xxxxxxxxxx>
CC: Konrad Wilk <konrad.wilk@xxxxxxxxxx>
CC: Josh Whitehead <josh.whitehead@xxxxxxxxxxxxxxx>
CC: Robert VanVossen <robert.vanvossen@xxxxxxxxxxxxxxx>
---
 xen/common/Kconfig | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/xen/common/Kconfig b/xen/common/Kconfig
index 131318d63a..82a34c5d79 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.15.1


_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/mailman/listinfo/xen-devel