GV

GeezerVison

The World Wide Web, restored to 800 pixels of glory.

Home|About|Gaming cabinet|Archives|How it works|Starter sites

On this site

  • Sign in
  • ActionsCI/CD and automation
  • CodespacesCloud development environments
  • All Features
  • Documentation
  • Training
  • Certifications
  • Build with Copilot
  • Customize Copilot
  • Integrations
  • Trending repos
  • GitHub Sponsors
  • Developer articles
  • Enterprises

This view

  • Original page
  • New address

GeezerVison is showing github.com — Build software better, together

#

separation-kernel

Star

Here are 4 public repositories matching this topic...

MicroOperations / Twan

Star 45

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

security virtualization hypervisor distributed-computing rtos separation-kernel real-time-computing mixed-criticality-systems
  • Updated Mar 23, 2026
  • C

kth-step / s3k

Star 21

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

real-time embedded kernel risc-v separation-kernel capability-based
  • Updated Nov 5, 2026
  • C

hex-five / multizone-sdk-arm

Star 14

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

jcdubois / moth

Star 8

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 Mar 19, 2026
  • C

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

Learn more

You are visitor 01402503 — GeezerVison does not store the pages you look up.
Best viewed with Netscape Navigator 4.7 or Internet Explorer 6 at 800×600. No cookies required.