sel4

The seL4 microkernel

Neptune OS: A Windows NT personality for the seL4 microkernel

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.

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

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

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

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

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)

CI GitHub actions for the seL4 repositories

How to create a Hello World seL4 project from scratch

Rust seL4 toy system built on ferros for the imx6 sabrelite platform

The seL4.systems website

Operating System built on top of the seL4 microkernel.