seL4 microkernel and related repositories

util_libs

refos

Prototype no-assurance reference OS personality built on seL4

camkes

Component Architecture test suite and example apps.

musllibc

camkes-vm

Virtual Machine built as a CAmkES component.

seL4_projects_libs

sel4bench

sel4 benchmarking applications and support library.

camkes-vm-examples

sel4runtime

A minimal runtime for seL4 applications.

graph-refine

camkes-arm-vm

rumprun

The Rumprun unikernel and toolchain for various platforms

camkes-arm-vm-manifest

Manifest for building a virtual machine on seL4 on ARM.

projects_libs

sel4webserver

An seL4 reference webserver application

camkes-vm-linux

global-components

pruner

Tool for trimming functions from a C source file

cakeml_libs

A collection of libraries and utilities to be used with CakeML applications.

camkes-vm-images

Precompiled kernels etc. for use with camkes VMs.

mcs-examples

Native seL4 and CAmkES examples of mixed criticality mechanisms.

riscv-pk

RISC-V Proxy Kernel

rumprun-packages

Ready-made packages of software for running on the Rumprun unikernel

rust-root-task-demo

Demonstrates the use of the seL4 crates to construct a simple system

whitepaper

Source for the seL4 white paper

camkes-vm-apps

CAmkES vm apps for all platforms

gh-testboard

Repository for verification testboard manifests

HOL

This is a fork of the HOL4 sources, used by the seL4 test infrastructure. See the original above, or visit the main website:

mcs-examples-manifest

Native seL4 and CAmkES examples of mixed criticality mechanisms.

polyml

This is a clone of Poly/ML which contains the extra branch successful-decompile. See the original or main website: