Repositories list

• docs

  Public
  This is the source of the seL4 docs.

  documentationsel4

  HTML

  •57•16•4•1•Updated Aug 10, 2025Aug 10, 2025

• sel4test-manifest

  Public
  Project to build and test seL4 for many different platforms

  44•16•3•0•Updated Aug 8, 2025Aug 8, 2025

• website

  Public
  The seL4.systems website

  proofverificationmicrokernel+ 1sel4

  HTML

  •13•3•3•1•Updated Aug 8, 2025Aug 8, 2025

• sel4bench-manifest

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

  12•7•1•2•Updated Aug 8, 2025Aug 8, 2025

• camkes-vm-examples-manifest

  Public
  camkes

  18•6•0•0•Updated Aug 8, 2025Aug 8, 2025

• camkes-manifest

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

  camkes

  23•23•2•0•Updated Aug 8, 2025Aug 8, 2025

• rumprun-sel4-demoapps

  Public
  Apps for running with the rumprun unikernel on seL4.

  C

  •

  Other

  •11•33•5•1•Updated Aug 8, 2025Aug 8, 2025

• sel4-tutorials-manifest

  Public
  Other

  •19•8•1•0•Updated Aug 8, 2025Aug 8, 2025

• seL4

  Public
  The seL4 microkernel

  osmicrokernelsel4+ 1sel4-microkernel

  C

  •

  Other

  •707•5k•162•52•Updated Aug 8, 2025Aug 8, 2025

• website_pr_hosting

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

  HTML

  •0•0•0•0•Updated Aug 8, 2025Aug 8, 2025

• seL4_projects_libs

  Public
  C

  •

  Other

  •41•19•10•18•Updated Aug 5, 2025Aug 5, 2025

• sel4webserver

  Public
  An seL4 reference webserver application

  CMake

  •

  Other

  •7•8•3•2•Updated Aug 5, 2025Aug 5, 2025

• verification-manifest

  Public
  Manifests for the collection of verification repositories

  16•15•0•0•Updated Aug 4, 2025Aug 4, 2025

• microkit

  Public
  Microkit - A simple operating system framework for the seL4 microkernel

  Rust

  •

  Other

  •59•129•25•6•Updated Aug 4, 2025Aug 4, 2025

• seL4_tools

  Public
  Basic tools for building seL4 projects

  sel4

  C

  •

  Other

  •95•49•14•11•Updated Aug 1, 2025Aug 1, 2025

• l4v

  Public
  seL4 specification and proofs

  sel4-microkernelproofisabelle+ 2formalisationsel4-proofs

  Isabelle

  •

  Other

  •113•555•55•10•Updated Jul 31, 2025Jul 31, 2025

• rfcs

  Public
  RFCs for the seL4 ecosystem

  sel4

  Python

  •

  Other

  •6•0•2•5•Updated Jul 25, 2025Jul 25, 2025

• sel4test

  Public
  Test suite for seL4.

  C

  •

  Other

  •67•28•13•11•Updated Jul 24, 2025Jul 24, 2025

• seL4_libs

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

  C

  •

  Other

  •72•55•9•11•Updated Jul 23, 2025Jul 23, 2025

• util_libs

  Public
  C

  •

  Other

  •91•59•18•15•Updated Jul 22, 2025Jul 22, 2025

• ci-actions

  Public
  CI GitHub actions for the seL4 repositories

  continuous-integrationcisel4+ 1ci-actions

  Python

  •13•3•22•4•Updated Jul 21, 2025Jul 21, 2025

• seL4-rust-tutorial

  Public
  Materials for a tutorial on how to use Rust to build on top of seL4.

  Rust

  •2•0•2•0•Updated Jul 16, 2025Jul 16, 2025

• sel4webserver-manifest

  Public
  2•2•1•0•Updated Jul 15, 2025Jul 15, 2025

• camkes-tool

  Public
  The main CAmkES tool

  camkes

  Python

  •71•29•15•3•Updated Jul 15, 2025Jul 15, 2025

• sel4-tutorials

  Public
  Tutorials for working with seL4 and/or CAmkES.

  Python

  •57•56•12•2•Updated Jul 15, 2025Jul 15, 2025

• seL4-rust-tutorial-code

  Public
  Code for a tutorial on how to use Rust to build on top of seL4.

  Rust

  •1•0•0•0•Updated Jul 15, 2025Jul 15, 2025

• camkes-vm-examples

  Public
  camkes

  C

  •

  Other

  •29•17•4•6•Updated Jul 10, 2025Jul 10, 2025

• rust-microkit-http-server-demo

  Public
  Demonstrates the use of the seL4 crates with the seL4 Microkit

  Rust

  •5•6•2•0•Updated Jul 9, 2025Jul 9, 2025

• rust-root-task-demo

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

  Dockerfile

  •9•1•0•0•Updated Jul 9, 2025Jul 9, 2025

• rust-microkit-demo

  Public
  Demonstrates the use of the seL4 crates with the seL4 Microkit

  Rust

  •4•2•1•1•Updated Jul 9, 2025Jul 9, 2025