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 <[email protected]> --- CC: Ian Jackson <[email protected]> CC: Wei Liu <[email protected]> CC: Andrew Cooper <[email protected]> CC: Jan Beulich <[email protected]> CC: Tim Deegan <[email protected]> CC: Stefano Stabellini <[email protected]> CC: Konrad Wilk <[email protected]> CC: Josh Whitehead <[email protected]> CC: Robert VanVossen <[email protected]> --- 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 [email protected] https://lists.xenproject.org/mailman/listinfo/xen-devel
