[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

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


Xen-devel mailing list



Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.