Repositories list

• l4v

  Public
  seL4 specification and proofs

  sel4-microkernelproofisabelle+ 2formalisationsel4-proofs

  Isabelle

  •

  Other

  •109•527•51•15•Updated Feb 25, 2025Feb 25, 2025

• verification-manifest

  Public
  Manifests for the collection of verification repositories

  15•15•0•0•Updated Feb 25, 2025Feb 25, 2025

• sel4-tutorials-manifest

  Public
  Other

  •18•8•1•0•Updated Feb 25, 2025Feb 25, 2025

• seL4_tools

  Public
  Basic tools for building seL4 projects

  sel4

  C

  •

  Other

  •91•46•13•21•Updated Feb 25, 2025Feb 25, 2025

• website

  Public
  The seL4.systems website

  proofverificationmicrokernel+ 1sel4

  HTML

  •13•3•13•2•Updated Feb 25, 2025Feb 25, 2025

• sel4bench-manifest

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

  11•6•1•2•Updated Feb 25, 2025Feb 25, 2025

• camkes-vm-examples-manifest

  Public
  camkes

  15•5•0•0•Updated Feb 25, 2025Feb 25, 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 Feb 25, 2025Feb 25, 2025

• rumprun-sel4-demoapps

  Public
  Apps for running with the rumprun unikernel on seL4.

  C

  •

  Other

  •10•31•5•1•Updated Feb 25, 2025Feb 25, 2025

• sel4webserver-manifest

  Public
  1•2•1•0•Updated Feb 25, 2025Feb 25, 2025

• docs

  Public
  This is the source of the seL4 docs.

  documentationsel4

  C

  •54•16•11•5•Updated Feb 25, 2025Feb 25, 2025

• seL4

  Public
  The seL4 microkernel

  osmicrokernelsel4+ 1sel4-microkernel

  C

  •

  Other

  •687•4.8k•157•60•Updated Feb 25, 2025Feb 25, 2025

• seL4_libs

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

  C

  •

  Other

  •69•52•8•10•Updated Feb 22, 2025Feb 22, 2025

• isabelle

  Public
  git mirror of the Munich isabelle hg repository

  Isabelle

  •

  Other

  •41•120•0•0•Updated Feb 22, 2025Feb 22, 2025

• seL4_projects_libs

  Public
  C

  •

  Other

  •38•19•10•18•Updated Feb 21, 2025Feb 21, 2025

• machine_queue

  Public
  Machine Queue scripts for remote access to our CI system

  Shell

  •

  Other

  •1•5•1•1•Updated Feb 19, 2025Feb 19, 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 Feb 19, 2025Feb 19, 2025

• ci-actions

  Public
  CI GitHub actions for the seL4 repositories

  continuous-integrationcisel4+ 1ci-actions

  Python

  •13•3•22•4•Updated Feb 18, 2025Feb 18, 2025

• microkit

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

  Rust

  •

  Other

  •53•104•27•8•Updated Feb 17, 2025Feb 17, 2025

• rust-sel4

  Public
  Rust support for seL4 userspace

  Rust

  •22•132•28•1•Updated Feb 15, 2025Feb 15, 2025

• sel4test-manifest

  Public
  Project to build and test seL4 for many different platforms

  39•15•3•0•Updated Feb 12, 2025Feb 12, 2025

• sel4runtime

  Public
  A minimal runtime for seL4 applications.

  C

  •

  Other

  •29•13•4•0•Updated Feb 10, 2025Feb 10, 2025

• musllibc

  Public
  C

  •

  Other

  •45•25•3•1•Updated Feb 10, 2025Feb 10, 2025

• util_libs

  Public
  C

  •

  Other

  •87•58•18•14•Updated Feb 9, 2025Feb 9, 2025

• sel4bench

  Public
  sel4 benchmarking applications and support library.

  C

  •

  Other

  •32•19•9•5•Updated Feb 9, 2025Feb 9, 2025

• sel4test

  Public
  Test suite for seL4.

  C

  •

  Other

  •65•25•16•11•Updated Feb 4, 2025Feb 4, 2025

• sel4-tutorials

  Public
  Tutorials for working with seL4 and/or CAmkES.

  Python

  •55•53•12•2•Updated Feb 2, 2025Feb 2, 2025

• camkes-vm-examples

  Public
  camkes

  C

  •

  Other

  •27•15•3•7•Updated Jan 30, 2025Jan 30, 2025

• whitepaper

  Public
  Source for the seL4 white paper

  osmicrokernelsel4-microkernel+ 1sel4

  Perl

  •3•0•0•0•Updated Jan 8, 2025Jan 8, 2025

• sel4webserver

  Public
  An seL4 reference webserver application

  CMake

  •

  Other

  •6•8•3•2•Updated Dec 19, 2024Dec 19, 2024