[Xen-changelog] [xen master] xen: Disable ARINC653 scheduler by default for non-DEBUG builds

[patchbot@xxxxxxx]

commit 2f92a0b22e3aa46b2785342d0aa5d54bc30d3be2
Author:     George Dunlap <george.dunlap@xxxxxxxxxx>
AuthorDate: Thu Feb 8 16:23:50 2018 +0000
Commit:     George Dunlap <george.dunlap@xxxxxxxxxx>
CommitDate: Thu Feb 8 16:27:29 2018 +0000

    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 <george.dunlap@xxxxxxxxxx>
    Acked-by: Jan Beulich <jbeulich@xxxxxxxx>
    Reviewed-by: Dario Faggioli <dfaggioli@xxxxxxxx>
---
 xen/common/Kconfig | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/xen/common/Kconfig b/xen/common/Kconfig
index 0a405d0..68abf7a 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.
--
generated by git-patchbot for /home/xen/git/xen.git#master

_______________________________________________
Xen-changelog mailing list
Xen-changelog@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/xen-changelog