seL4

isabelle

git mirror of the Munich isabelle hg repository

refos

Prototype no-assurance reference OS personality built on seL4

camkes-tool

The main CAmkES tool

camkes

Component Architecture test suite and example apps.

musllibc

refos-manifest

Reference Operating system based on seL4 --- example code

seL4-CAmkES-L4v-dockerfiles

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

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.

camkes-vm-manifest

CAmkES code and examples

projects_libs

camkes-vm-linux

global-components

pruner

Tool for trimming functions from a C source file

rust-microkit-http-server-demo

Demonstrates the use of the seL4 crates with the seL4 Microkit

cakeml_libs

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

mcs-examples

Native seL4 and CAmkES examples of mixed criticality mechanisms.

picotcp

PicoTCP is a free TCP/IP stack implementation

riscv-pk

RISC-V Proxy Kernel

rumprun-packages

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

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

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: