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-tutorials

Tutorials for working with seL4 and/or CAmkES.

seL4_libs

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

seL4_tools

Basic tools for building seL4 projects

capdl

Capability Distribution Language tools for seL4

camkes-tool

The main CAmkES tool

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.

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

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-demo

Demonstrates the use of the seL4 crates with the seL4 Microkit

rust-microkit-http-server-demo

Demonstrates the use of the seL4 crates with the seL4 Microkit

sel4webserver-manifest

picotcp

PicoTCP is a free TCP/IP stack implementation

website_pr_hosting

This repo stores the generated website files from PRs on https://github.com/seL4/website

picotcp-bsd

BSD POSIX-compliant socket support for PicoTCP running on any OS.

rfcs

RFCs for the seL4 ecosystem