separation-kernel

A lightweight separation kernel designed specifically for adaptability, real-time computing, and mixed-criticality workloads

Capability-based real-time separation kernel for secure embedded RISC-V.

MultiZone® Security TEE for Arm® Cortex®-M is the quick and safe way to add security and separation to any Cortex-M based device. MultiZone® software can retrofit existing designs. If you don’t have TrustZone®, or if you require finer granularity than one secure world, you can take advantage of high security separation without the need for hardw…

Minimalist cooperative operating system supporting multiple tasks with MMU protection