Projects in Awesome Lists by seL4
A curated list of projects in awesome lists by seL4 .
https://github.com/sel4/sel4
The seL4 microkernel
microkernel os sel4 sel4-microkernel
Last synced: 13 May 2025
https://github.com/seL4/seL4
The seL4 microkernel
microkernel os sel4 sel4-microkernel
Last synced: 26 Mar 2025
https://github.com/sel4/l4v
seL4 specification and proofs
formalisation isabelle proof sel4-microkernel sel4-proofs
Last synced: 26 Jan 2026
https://github.com/sel4/microkit
Microkit - A simple operating system framework for the seL4 microkernel
Last synced: 02 Apr 2026
https://github.com/sel4/isabelle
git mirror of the Munich isabelle hg repository
Last synced: 27 Jan 2026
https://github.com/sel4/sel4-tutorials
Tutorials for working with seL4 and/or CAmkES.
Last synced: 05 Apr 2025
https://github.com/sel4/sel4_libs
No-assurance libraries for rapid-prototyping of seL4 apps.
Last synced: 27 Apr 2025
https://github.com/sel4/refos
Prototype no-assurance reference OS personality built on seL4
Last synced: 13 Aug 2025
https://github.com/sel4/capdl
Capability Distribution Language tools for seL4
Last synced: 09 Oct 2025
https://github.com/sel4/rumprun-sel4-demoapps
Apps for running with the rumprun unikernel on seL4.
Last synced: 27 Apr 2025
https://github.com/sel4/camkes
Component Architecture test suite and example apps.
Last synced: 17 Mar 2025
https://github.com/sel4/camkes-vm
Virtual Machine built as a CAmkES component.
Last synced: 27 Apr 2025
https://github.com/sel4/refos-manifest
Reference Operating system based on seL4 --- example code
Last synced: 01 Mar 2026
https://github.com/sel4/camkes-manifest
Top level project for CAmkES, a component platform that provides support for developing and building static seL4 systems as a collection of interacting components.
Last synced: 04 Aug 2026
https://github.com/sel4/sel4bench
sel4 benchmarking applications and support library.
Last synced: 26 Oct 2025
https://github.com/sel4/verification-manifest
Manifests for the collection of verification repositories
Last synced: 01 Mar 2026
https://github.com/sel4/graph-refine
proof refinement-proof sel4 translation-validation
Last synced: 27 Apr 2025
https://github.com/sel4/sel4test-manifest
Project to build and test seL4 for many different platforms
Last synced: 05 Mar 2026
https://github.com/sel4/sel4-camkes-l4v-dockerfiles
Dockerfiles defining the dependencies required to build seL4, CAmkES, and L4v.
Last synced: 27 Apr 2025
https://github.com/sel4/sel4runtime
A minimal runtime for seL4 applications.
Last synced: 27 Apr 2025
https://github.com/sel4/sel4webserver
An seL4 reference webserver application
Last synced: 04 Aug 2026
https://github.com/sel4/sel4bench-manifest
Manifest of the seL4bench project, which contains microbenchmarks for seL4.
Last synced: 28 Feb 2026
https://github.com/sel4/rust-microkit-http-server-demo
Demonstrates the use of the seL4 crates with the seL4 Microkit
Last synced: 18 Jun 2025
https://github.com/sel4/machine_queue
Machine Queue scripts for remote access to our CI system
Last synced: 19 Jun 2025
https://github.com/sel4/website
The seL4.systems website
microkernel proof sel4 verification
Last synced: 04 Aug 2026
https://github.com/sel4/ci-actions
CI GitHub actions for the seL4 repositories
ci ci-actions continuous-integration sel4
Last synced: 27 Apr 2025
https://github.com/sel4/camkes-vm-images
Precompiled kernels etc. for use with camkes VMs.
Last synced: 03 Mar 2026
https://github.com/sel4/pruner
Tool for trimming functions from a C source file
Last synced: 27 Apr 2025
https://github.com/sel4/rust-microkit-demo
Demonstrates the use of the seL4 crates with the seL4 Microkit
Last synced: 21 Jun 2025
https://github.com/sel4/mcs-examples-manifest
Native seL4 and CAmkES examples of mixed criticality mechanisms.
Last synced: 29 Jan 2026
https://github.com/sel4/cakeml_libs
A collection of libraries and utilities to be used with CakeML applications.
Last synced: 04 Mar 2026
https://github.com/sel4/rust-root-task-demo
Demonstrates the use of the seL4 crates to construct a simple system
Last synced: 04 Aug 2026
https://github.com/sel4/mcs-examples
Native seL4 and CAmkES examples of mixed criticality mechanisms.
Last synced: 18 Jun 2026
https://github.com/sel4/sel4-rust-tutorial
Materials for a tutorial on how to use Rust to build on top of seL4.
Last synced: 01 Aug 2025
https://github.com/sel4/website_pr_hosting
This repo stores the generated website files from PRs on https://github.com/seL4/website
Last synced: 04 Mar 2026
https://github.com/sel4/sel4-rust-tutorial-code
Code for a tutorial on how to use Rust to build on top of seL4.
Last synced: 01 Aug 2025
https://github.com/sel4/whitepaper
Source for the seL4 white paper
microkernel os sel4 sel4-microkernel
Last synced: 16 Feb 2026
https://github.com/sel4/gh-testboard
Repository for verification testboard manifests
Last synced: 17 Feb 2026