muen

muen.codelabs.chsite

An x86/64 Separation Kernel for High Assurance.

from

Ada/SPARK

added

2026-10-10

likes

0

similar

1. ▲

   m2os m2os.unican.es

   RTOS with simple tasking support for small microcontrollers.

   site link ↗
   site
2. ▲

   havk github.com

   x86-64 security-focused OS being created with SPARK.

   tool link ↗
   
3. ▲

   lunamech-matrix-api github.com

   tool topic programming link ↗
   
4. ▲

   hexagonal-sun/moss-kernel github.com

   A Unix-like, Linux-compatible kernel written in Rust and Aarch64 assembly.

   tool topic programming link ↗
   
5. ▲

   Uxn 100r.co

   A portability layer for graphical applications.

   site link ↗
   site
6. ▲

   mug google.github.io

   A small, zero-dep functional util library originating from Google.

   site link ↗
   site

Ada/SPARK › OS and Kernels: “An x86/64 Separation Kernel for High Assurance.”