Repositories list

• rust-sel4

  Public
  Rust support for seL4 userspace

  Rust

  •23•139•31•3•Updated Mar 27, 2025Mar 27, 2025

• seL4

  Public
  The seL4 microkernel

  osmicrokernelsel4+ 1sel4-microkernel

  C

  •

  Other

  •686•4.9k•160•53•Updated Mar 26, 2025Mar 26, 2025

• docs

  Public
  This is the source of the seL4 docs.

  documentationsel4

  C

  •54•16•11•4•Updated Mar 26, 2025Mar 26, 2025

• isabelle

  Public
  git mirror of the Munich isabelle hg repository

  Isabelle

  •

  Other

  •41•121•0•0•Updated Mar 26, 2025Mar 26, 2025

• website

  Public
  The seL4.systems website

  proofverificationmicrokernel+ 1sel4

  HTML

  •13•3•12•1•Updated Mar 26, 2025Mar 26, 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 Mar 26, 2025Mar 26, 2025

• ci-actions

  Public
  CI GitHub actions for the seL4 repositories

  continuous-integrationcisel4+ 1ci-actions

  Python

  •13•3•23•3•Updated Mar 25, 2025Mar 25, 2025

• verification-manifest

  Public
  Manifests for the collection of verification repositories

  16•15•0•0•Updated Mar 25, 2025Mar 25, 2025

• l4v

  Public
  seL4 specification and proofs

  sel4-microkernelproofisabelle+ 2formalisationsel4-proofs

  Isabelle

  •

  Other

  •109•534•53•15•Updated Mar 25, 2025Mar 25, 2025

• sel4test-manifest

  Public
  Project to build and test seL4 for many different platforms

  40•16•3•0•Updated Mar 24, 2025Mar 24, 2025

• sel4-tutorials-manifest

  Public
  Other

  •18•8•1•0•Updated Mar 21, 2025Mar 21, 2025

• sel4bench-manifest

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

  11•6•1•2•Updated Mar 21, 2025Mar 21, 2025

• camkes-vm-examples-manifest

  Public
  camkes

  16•5•0•0•Updated Mar 21, 2025Mar 21, 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•21•1•0•Updated Mar 21, 2025Mar 21, 2025

• rumprun-sel4-demoapps

  Public
  Apps for running with the rumprun unikernel on seL4.

  C

  •

  Other

  •10•33•5•1•Updated Mar 21, 2025Mar 21, 2025

• microkit

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

  Rust

  •

  Other

  •55•112•23•6•Updated Mar 21, 2025Mar 21, 2025

• rfcs

  Public
  RFCs for the seL4 ecosystem

  sel4

  Python

  •

  Other

  •3•0•2•5•Updated Mar 19, 2025Mar 19, 2025

• machine_queue

  Public
  Machine Queue scripts for remote access to our CI system

  Shell

  •1•5•1•1•Updated Mar 17, 2025Mar 17, 2025

• util_libs

  Public
  C

  •

  Other

  •88•59•18•15•Updated Mar 17, 2025Mar 17, 2025

• sel4-tutorials

  Public
  Tutorials for working with seL4 and/or CAmkES.

  Python

  •55•54•12•2•Updated Mar 17, 2025Mar 17, 2025

• camkes-vm

  Public
  Virtual Machine built as a CAmkES component.

  camkes

  C

  •

  Other

  •35•23•6•13•Updated Mar 17, 2025Mar 17, 2025

• camkes-vm-examples

  Public
  camkes

  C

  •

  Other

  •27•15•3•7•Updated Mar 17, 2025Mar 17, 2025

• camkes-vm-images

  Public
  Precompiled kernels etc. for use with camkes VMs.

  CMake

  •18•2•0•1•Updated Mar 17, 2025Mar 17, 2025

• camkes-vm-linux

  Public
  CMake

  •

  Other

  •13•4•2•0•Updated Mar 17, 2025Mar 17, 2025

• capdl

  Public
  Capability Distribution Language tools for seL4

  capdl

  Haskell

  •46•35•5•5•Updated Mar 17, 2025Mar 17, 2025

• global-components

  Public
  C

  •

  Other

  •31•4•7•4•Updated Mar 17, 2025Mar 17, 2025

• graph-refine

  Public
  proofsel4translation-validation+ 1refinement-proof

  Python

  •

  Other

  •12•14•0•2•Updated Mar 17, 2025Mar 17, 2025

• gh-testboard

  Public
  Repository for verification testboard manifests

  0•0•0•0•Updated Mar 17, 2025Mar 17, 2025

• mcs-examples

  Public
  Native seL4 and CAmkES examples of mixed criticality mechanisms.

  C

  •

  Other

  •1•1•0•0•Updated Mar 17, 2025Mar 17, 2025

• mcs-examples-manifest

  Public
  Native seL4 and CAmkES examples of mixed criticality mechanisms.

  Other

  •2•0•0•0•Updated Mar 17, 2025Mar 17, 2025