Repositories list

• l4v

  Public
  seL4 specification and proofs

  proofisabelleformalisation+ 2sel4-proofssel4-microkernel

  Isabelle

  •

  Other

  •116•589•60•15•Updated Feb 4, 2026Feb 4, 2026

• docs

  Public
  This is the source of the seL4 docs.

  documentationsel4

  HTML

  •60•18•10•1•Updated Feb 4, 2026Feb 4, 2026

• isabelle

  Public
  git mirror of the Munich isabelle hg repository

  Isabelle

  •

  Other

  •42•131•0•0•Updated Feb 3, 2026Feb 3, 2026

• verification-manifest

  Public
  Manifests for the collection of verification repositories

  17•16•0•0•Updated Feb 2, 2026Feb 2, 2026

• sel4test-manifest

  Public
  Project to build and test seL4 for many different platforms

  44•16•2•0•Updated Feb 1, 2026Feb 1, 2026

• 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 componen…

  camkes

  23•22•2•0•Updated Jan 30, 2026Jan 30, 2026

• rumprun-sel4-demoapps

  Public
  Apps for running with the rumprun unikernel on seL4.

  C

  •

  Other

  •11•33•5•1•Updated Jan 30, 2026Jan 30, 2026

• sel4webserver-manifest

  Public
  2•2•1•0•Updated Jan 30, 2026Jan 30, 2026

• sel4-tutorials-manifest

  Public
  Other

  •19•7•1•0•Updated Jan 30, 2026Jan 30, 2026

• seL4

  Public
  The seL4 microkernel

  osmicrokernelsel4+ 1sel4-microkernel

  C

  •

  Other

  •739•5.3k•172•64•Updated Jan 30, 2026Jan 30, 2026

• website

  Public
  The seL4.systems website

  proofverificationmicrokernel+ 1sel4

  HTML

  •15•3•4•0•Updated Jan 29, 2026Jan 29, 2026

• 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 Jan 29, 2026Jan 29, 2026

• util_libs

  Public
  C

  •

  Other

  •95•61•17•15•Updated Jan 29, 2026Jan 29, 2026

• camkes-vm-examples-manifest

  Public
  camkes

  18•6•0•0•Updated Jan 27, 2026Jan 27, 2026

• seL4_libs

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

  C

  •

  Other

  •74•57•9•11•Updated Jan 27, 2026Jan 27, 2026

• ci-actions

  Public
  CI GitHub actions for the seL4 repositories

  continuous-integrationcisel4+ 1ci-actions

  Python

  •17•3•22•5•Updated Jan 22, 2026Jan 22, 2026

• microkit

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

  Rust

  •

  Other

  •67•170•31•8•Updated Jan 21, 2026Jan 21, 2026

• sel4bench-manifest

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

  12•7•1•2•Updated Jan 21, 2026Jan 21, 2026

• sel4bench

  Public
  sel4 benchmarking applications and support library.

  C

  •

  Other

  •39•19•9•7•Updated Dec 18, 2025Dec 18, 2025

• rfcs

  Public
  RFCs for the seL4 ecosystem

  sel4

  Python

  •

  Other

  •7•0•2•7•Updated Dec 15, 2025Dec 15, 2025

• lwip

  Public
  Unchanged mirror of lwip git repository.

  C

  •

  Other

  •0•0•0•0•Updated Dec 9, 2025Dec 9, 2025

• seL4_tools

  Public
  Basic tools for building seL4 projects

  sel4

  C

  •

  Other

  •102•53•15•13•Updated Dec 9, 2025Dec 9, 2025

• sel4test

  Public
  Test suite for seL4.

  C

  •

  Other

  •70•30•13•11•Updated Dec 5, 2025Dec 5, 2025

• rust-sel4

  Public
  Rust support for seL4 userspace

  Rust

  •34•185•40•7•Updated Nov 26, 2025Nov 26, 2025

• rust-microkit-http-server-demo

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

  Rust

  •6•7•2•0•Updated Nov 26, 2025Nov 26, 2025

• rust-microkit-demo

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

  Rust

  •4•5•1•1•Updated Nov 26, 2025Nov 26, 2025

• rust-root-task-demo

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

  Dockerfile

  •9•6•0•0•Updated Nov 26, 2025Nov 26, 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 Nov 26, 2025Nov 26, 2025

• seL4-rust-tutorial

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

  Rust

  •2•1•2•0•Updated Nov 26, 2025Nov 26, 2025

• camkes-tool

  Public
  The main CAmkES tool

  camkes

  Python

  •72•27•15•3•Updated Nov 25, 2025Nov 25, 2025