Robuta

https://www.sysgo.com/blog/article/mixed-criticality-in-safety-critical-avionics-and-defense-communications-with-npx-imx-95-and-sysgos-pikeos Mixed-Criticality in Safety-critical Avionics and Defense Communications with NPX i.MX 95 and... mixed criticality safety https://l4re.org/demos/linux%2Bzephyr-vm.html Armv8-R AArch64 mixed criticality system — L4Re Operating System Framework documentation mixed criticality system