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

The seL4 microkernel

Genode OS Framework

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 personality for 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.

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

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

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

Operating System built on top of the seL4 microkernel.

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

AMP experiments in feL4 (seL4/Rust) on SoloX ARM SoC (A9 + M4)

A formally verified implementation of a bolt-on security device for ICS networks. Designed with TLA+ and written/proved in F*

How to create a Hello World seL4 project from scratch