sel4

Mirror of https://gitlab.redox-os.org/redox-os/redox

The seL4 microkernel

Genode OS Framework (migrated to https://codeberg.org/genodelabs/genode)

Mirror of https://gitlab.redox-os.org/redox-os/kernel

RISC-V Guide. Learn all about the RISC-V computer architecture along with the Development Tools and Operating Systems to develop on RISC-V hardware.

Neptune OS: A Windows NT-like operating system built on the seL4 microkernel

A curated set of links to formal methods involving provable code.

Main repository for the Veracruz privacy-preserving compute project, an adopted project of the Confidential Compute Consortium (CCC).

A Rust-based userland which also adds compile-time assurances to seL4 development.

Basic tools for building seL4 projects

This is the source of the seL4 docs.

⚡ DROS™ VajraClaw (Hacker Edition): Free Multi-Agent Runtime Security & Docker Governance Gateway with W3C DID & <1μs Enforcement

Dockerfiles defining the dependencies required to build seL4, CAmkES, and L4v.

A generated thin wrapper around libsel4.a, with supporting subcrates.

A verified foundation for BEAM applications, based on seL4, Nix and LionsOS.

Operating System built on top of the seL4 microkernel.

Open-source, 100% reproducible AI Agent Runtime Security Benchmark & Sandbox Environment (RFC-010 Draft Protocol).

A manifest that allows one to build virtualized seL4 for zcu102 and i.MX8

Rust embedded things running on the seL4 microkernel for the Raspberry Pi 3