A lightweight separation kernel designed specifically for adaptability, real-time computing, and mixed-criticality workloads
-
Updated
Jan 19, 2026 - C
#
separation-kernel
Here are 4 public repositories matching this topic...
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…
security cortex-m firmware psa armv7 secure-boot attestation trustzone tpm-firmware trusted-computing separation-kernel secure-operating-system hex-five multizone-security multizone trusted-execution-environment secure-element root-of-trust secure-bootloader trustzone-kernel
-
Updated
Aug 21, 2023 - C
Capability-based real-time separation kernel for secure embedded RISC-V.
-
Updated
Dec 12, 2025 - C
Minimalist cooperative operating system supporting multiple tasks with MMU protection
embedded operating-system ada sparc mmu microkernel spark-ada cooperative-multitasking moth separation-kernel leon3 spark2014 ada-spark
-
Updated
Aug 6, 2021 - C
Improve this page
Add a description, image, and links to the separation-kernel topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the separation-kernel topic, visit your repo's landing page and select "manage topics."