seL4 microkernel and related repositories

All

62 repositories

rust-sel4
Public
Rust support for seL4 userspace
Rust
•28•160•31•1•Updated Jun 23, 2025Jun 23, 2025
website
Public
The seL4.systems website
proof verification microkernel sel4
HTML
•13•3•4•0•Updated Jun 23, 2025Jun 23, 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 Jun 23, 2025Jun 23, 2025
docs
Public
This is the source of the seL4 docs.
documentation sel4
C
•56•16•11•4•Updated Jun 23, 2025Jun 23, 2025
l4v
Public
seL4 specification and proofs
sel4-microkernel proof isabelle formalisation sel4-proofs
Isabelle
•
Other
•112•548•54•15•Updated Jun 20, 2025Jun 20, 2025
seL4
Public
The seL4 microkernel
os microkernel sel4 sel4-microkernel
C
•
Other
•703•5k•167•57•Updated Jun 19, 2025Jun 19, 2025
verification-manifest
Public
Manifests for the collection of verification repositories
16•15•0•0•Updated Jun 18, 2025Jun 18, 2025
sel4bench-manifest
Public
Manifest of the seL4bench project, which contains microbenchmarks for seL4.
12•7•1•2•Updated Jun 13, 2025Jun 13, 2025
camkes-vm-examples-manifest
Public
camkes
18•6•0•0•Updated Jun 13, 2025Jun 13, 2025
rumprun-sel4-demoapps
Public
Apps for running with the rumprun unikernel on seL4.
C
•
Other
•11•33•5•1•Updated Jun 13, 2025Jun 13, 2025
sel4webserver-manifest
Public
2•2•1•0•Updated Jun 13, 2025Jun 13, 2025
sel4-tutorials-manifest
Public
Other
•19•8•1•0•Updated Jun 13, 2025Jun 13, 2025
machine_queue
Public
Machine Queue scripts for remote access to our CI system
Shell
•3•4•2•1•Updated Jun 11, 2025Jun 11, 2025
sel4test-manifest
Public
Project to build and test seL4 for many different platforms
41•16•3•0•Updated Jun 10, 2025Jun 10, 2025
ci-actions
Public
CI GitHub actions for the seL4 repositories
continuous-integration ci sel4 ci-actions
Python
•14•3•22•4•Updated Jun 6, 2025Jun 6, 2025
seL4_tools
Public
Basic tools for building seL4 projects
sel4
C
•
Other
•94•48•14•15•Updated Jun 5, 2025Jun 5, 2025
sel4test
Public
Test suite for seL4.
C
•
Other
•66•28•13•10•Updated Jun 1, 2025Jun 1, 2025
util_libs
Public
C
•
Other
•90•59•18•15•Updated May 31, 2025May 31, 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•23•2•0•Updated May 30, 2025May 30, 2025
sel4bench
Public
sel4 benchmarking applications and support library.
C
•
Other
•35•20•9•5•Updated May 30, 2025May 30, 2025
seL4_libs
Public
No-assurance libraries for rapid-prototyping of seL4 apps.
C
•
Other
•73•55•9•12•Updated May 30, 2025May 30, 2025
microkit
Public
Microkit - A simple operating system framework for the seL4 microkernel
Rust
•
Other
•59•125•24•7•Updated May 28, 2025May 28, 2025
seL4_projects_libs
Public
C
•
Other
•41•19•10•19•Updated May 26, 2025May 26, 2025
musllibc
Public
C
•
Other
•47•27•1•2•Updated May 21, 2025May 21, 2025
sel4-tutorials
Public
Tutorials for working with seL4 and/or CAmkES.
Python
•57•56•12•2•Updated May 6, 2025May 6, 2025
isabelle
Public
git mirror of the Munich isabelle hg repository
Isabelle
•
Other
•41•125•0•1•Updated May 5, 2025May 5, 2025
camkes-vm-examples
Public
camkes
C
•
Other
•29•17•4•6•Updated Apr 1, 2025Apr 1, 2025
rfcs
Public
RFCs for the seL4 ecosystem
sel4
Python
•
Other
•4•0•2•5•Updated Mar 19, 2025Mar 19, 2025
camkes-vm
Public
Virtual Machine built as a CAmkES component.
camkes
C
•
Other
•38•23•6•14•Updated Mar 17, 2025Mar 17, 2025
camkes-vm-images
Public
Precompiled kernels etc. for use with camkes VMs.
CMake
•19•2•0•1•Updated Mar 17, 2025Mar 17, 2025