Repositories list

• l4v

  Public
  seL4 specification and proofs

  sel4-microkernelproofisabelle+ 2formalisationsel4-proofs

  Isabelle

  •

  Other

  •108•516•47•18•Updated Dec 11, 2024Dec 11, 2024

• docs

  Public
  This is the source of the seL4 docs.

  documentationsel4

  C

  •52•16•11•5•Updated Dec 11, 2024Dec 11, 2024

• isabelle

  Public
  git mirror of the Munich isabelle hg repository

  Isabelle

  •

  Other

  •40•115•0•0•Updated Dec 11, 2024Dec 11, 2024

• website

  Public
  The seL4.systems website

  proofverificationmicrokernel+ 1sel4

  HTML

  •14•3•12•2•Updated Dec 11, 2024Dec 11, 2024

• sel4bench-manifest

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

  11•6•1•2•Updated Dec 11, 2024Dec 11, 2024

• camkes-vm-examples-manifest

  Public
  camkes

  15•5•0•0•Updated Dec 11, 2024Dec 11, 2024

• 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•20•1•0•Updated Dec 11, 2024Dec 11, 2024

• verification-manifest

  Public
  Manifests for the collection of verification repositories

  15•15•0•0•Updated Dec 11, 2024Dec 11, 2024

• rumprun-sel4-demoapps

  Public
  Apps for running with the rumprun unikernel on seL4.

  C

  •

  Other

  •10•30•5•1•Updated Dec 11, 2024Dec 11, 2024

• sel4webserver-manifest

  Public
  1•2•1•0•Updated Dec 11, 2024Dec 11, 2024

• sel4-tutorials-manifest

  Public
  Other

  •18•8•1•0•Updated Dec 11, 2024Dec 11, 2024

• seL4

  Public
  The seL4 microkernel

  osmicrokernelsel4+ 1sel4-microkernel

  C

  •

  Other

  •675•4.8k•152•58•Updated Dec 11, 2024Dec 11, 2024

• sel4test-manifest

  Public
  Project to build and test seL4 for many different platforms

  39•14•3•0•Updated Dec 5, 2024Dec 5, 2024

• 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 Dec 3, 2024Dec 3, 2024

• ci-actions

  Public
  CI GitHub actions for the seL4 repositories

  continuous-integrationcisel4+ 1ci-actions

  Python

  •13•3•22•3•Updated Dec 2, 2024Dec 2, 2024

• sel4test

  Public
  Test suite for seL4.

  C

  •

  Other

  •63•25•16•10•Updated Nov 26, 2024Nov 26, 2024

• rust-sel4

  Public
  Rust support for seL4 userspace

  Rust

  •17•124•28•1•Updated Nov 26, 2024Nov 26, 2024

• microkit

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

  Rust

  •

  Other

  •49•89•33•7•Updated Nov 24, 2024Nov 24, 2024

• seL4_libs

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

  C

  •

  Other

  •67•52•9•10•Updated Nov 19, 2024Nov 19, 2024

• machine_queue

  Public
  Machine Queue scripts for remote access to our CI system

  Shell

  •

  Other

  •0•4•1•1•Updated Nov 13, 2024Nov 13, 2024

• seL4-CAmkES-L4v-dockerfiles

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

  dockersel4l4v+ 1camkes

  Shell

  •41•13•5•2•Updated Oct 12, 2024Oct 12, 2024

• sel4-tutorials

  Public
  Tutorials for working with seL4 and/or CAmkES.

  Python

  •54•53•12•3•Updated Oct 7, 2024Oct 7, 2024

• projects_libs

  Public
  C++

  •

  Other

  •20•6•2•1•Updated Sep 23, 2024Sep 23, 2024

• rust-root-task-demo

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

  Dockerfile

  •8•1•0•0•Updated Sep 20, 2024Sep 20, 2024

• picotcp

  Public
  PicoTCP is a free TCP/IP stack implementation

  C

  •

  Other

  •222•2•0•0•Updated Sep 4, 2024Sep 4, 2024

• picotcp-bsd

  Public
  BSD POSIX-compliant socket support for PicoTCP running on any OS.

  C

  •

  GNU General Public License v2.0

  •21•1•0•0•Updated Sep 4, 2024Sep 4, 2024

• seL4_tools

  Public
  Basic tools for building seL4 projects

  sel4

  C

  •

  Other

  •93•44•12•25•Updated Aug 13, 2024Aug 13, 2024

• rfcs

  Public
  RFCs for the seL4 ecosystem

  sel4

  Python

  •

  Other

  •2•0•2•4•Updated Aug 5, 2024Aug 5, 2024

• capdl

  Public
  Capability Distribution Language tools for seL4

  capdl

  Haskell

  •46•35•5•5•Updated Jul 11, 2024Jul 11, 2024

• camkes-tool

  Public
  The main CAmkES tool

  camkes

  Python

  •71•29•14•3•Updated Jul 2, 2024Jul 2, 2024