Re: [seL4] RT and domains

On 21 Feb 2017, at 10:57, anna.ly...@data61.csiro.au wrote: 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 schedul

Re: [seL4] RT and domains

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

[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 Devel@sel4.systems https://sel