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:[email protected]] On Behalf Of [email protected] Sent: Tuesday, 21 February 2017 5:01 AM To: [email protected] 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.
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
