On 02/05/2018 01:36 PM, Jan Beulich wrote: >>>> On 05.02.18 at 12:36, <george.dun...@citrix.com> wrote: >> 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. > > The more that its prompt says "(EXPERIMENTAL)".
Well I left RTDS on by default, since there would be a small chance someone might want to play with it. But AFAICT ARINC653 isn't really something designed to be used by anyone outside a very specific set of users. -George _______________________________________________ Xen-devel mailing list Xen-devel@lists.xenproject.org https://lists.xenproject.org/mailman/listinfo/xen-devel
