Anna, Gernot, thank you for your answers. I want to add domains as analogues to arinc-653 partitions. I know that there will be some time restrictions, but the main goal is compliance with functional requirements of the standard.
From: [email protected] Sent: Tuesday, February 21, 5:00 AM Subject: Re: [seL4] RT and domains To: [email protected] On 21 Feb 2017, at 10:57, [email protected] 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 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. Further to what Anna says, it is unclear (to me at last) whether there are any realistic use cases of real-time systems that would work with the domain scheduler. The whole idea of maintaining confidentiality and timeliness at the same time requires some serious thinking, which I’m not aware of having happened. Absent that, you need to assume that the two are incompatible. And we certainly make no claims that our kernel (once mixed-criticality support is merged with master) is in any way able to support both at the same time. If anyone knows better, I’d love to hear about it. Gernot
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
