Mixed-criticality support in seL4

Posted Feb 2, 2018 6:28 UTC (Fri) by ttelford (guest, #44176)
In reply to: Mixed-criticality support in seL4 by ttelford
Parent article: Mixed-criticality support in seL4

One addendum: I missed the part where you mentioned real-time code.

While seL4 handles real time very well, it’s designers claim it was designed to work well as part of a general purpose OS.

It’s a plausible claim - QNX is a performant RTOS that is also a surprisingly capable posix-compliant desktop OS.

I’d love to see seL4 outdo QNX.

Mixed-criticality support in seL4

Posted Feb 3, 2018 1:27 UTC (Sat) by k8to (guest, #15413) [Link]

QNX is both, but for your deadline critical logic, you pass information by pointer to discrete buffer, for example, not by appending a blob of bytes to some other bytes in a ring buffer.

There are many other examples of where posix apis are not ideal.