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

[George Dunlap <george.dunlap@xxxxxxxxxx>]

On 02/05/2018 01:36 PM, Jan Beulich wrote:
>>>> On 05.02.18 at 12:36, <george.dunlap@xxxxxxxxxx> 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@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/mailman/listinfo/xen-devel