Hi,

For the first release of the RT kernel (which is a pre-release) we excluded the domain scheduler to make development easier. The final version of the RT kernel will probably include the domain scheduler.

However, it should be noted that if using RT + domain scheduler the max deadline miss time is the length of the longest domain, as domains are not pre-emptible.

Cheers,

Anna.

From: Devel [mailto:devel-bounces@sel4.systems] On Behalf Of rad021993@yandex.ru
Sent: Tuesday, 21 February 2017 5:01 AM
To: devel@sel4.systems
Subject: [seL4] RT and domains

Hi,

Could you tell me why did you not implement domains in RT kernel version? Are there any difficulties? I'm going to add support of domains, and at the first sight I don't see any difficulties.