#

separation-kernel

Here are 3 public repositories matching this topic...

jcdubois / moth

Star

Minimalist cooperative operating system supporting multiple tasks with MMU protection

embedded operating-system sparc mmu microkernel leon cooperative-multitasking moth separation-kernel

Updated Aug 23, 2020
C

hex-five / multizone-sdk-arm

Star

MultiZone® Security SDK for Arm® Cortex®-M

security cortex-m firmware psa armv7 secure-boot 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 20, 2020
C

KongligSK

HAKarlsson / KongligSK

Star

Experimental separation kernel for RISC-V.

kernel formal-verification separation-kernel

Updated Aug 23, 2020
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.

Curate this topic

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."

You can’t perform that action at this time.