seL4 microkernel and related repositories

seL4

The seL4 microkernel

l4v

seL4 specification and proofs

isabelle

git mirror of the Munich isabelle hg repository

rust-sel4

Rust support for seL4 userspace

microkit

Microkit - A simple operating system framework for the seL4 microkernel

seL4_libs

No-assurance libraries for rapid-prototyping of seL4 apps.

sel4-tutorials

Tutorials for working with seL4 and/or CAmkES.

seL4_tools

Basic tools for building seL4 projects

capdl

Capability Distribution Language tools for seL4

rumprun-sel4-demoapps

Apps for running with the rumprun unikernel on seL4.

sel4test

Test suite for seL4.

camkes-manifest

Top level project for CAmkES, a component platform that provides support for developing and building static seL4 systems as a collection of interacting components.

seL4_projects_libs

sel4bench

sel4 benchmarking applications and support library.

docs

This is the source of the seL4 docs.

verification-manifest

Manifests for the collection of verification repositories

sel4test-manifest

Project to build and test seL4 for many different platforms

camkes-vm-examples

seL4-CAmkES-L4v-dockerfiles

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

sel4-tutorials-manifest

sel4bench-manifest

Manifest of the seL4bench project, which contains microbenchmarks for seL4.

camkes-vm-examples-manifest

ci-actions

CI GitHub actions for the seL4 repositories

website

The seL4.systems website

machine_queue

Machine Queue scripts for remote access to our CI system

rust-microkit-http-server-demo

Demonstrates the use of the seL4 crates with the seL4 Microkit

sel4webserver-manifest

rust-microkit-demo

Demonstrates the use of the seL4 crates with the seL4 Microkit

rust-root-task-demo

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

whitepaper

Source for the seL4 white paper