seL4 microkernel and related repositories

Provided by the seL4 Foundation

Pinned Repositories

camkes-tool
The main CAmkES tool
Language:Python29 25 2971
capdl
Capability Distribution Language tools for seL4
Language:Haskell35 23 1145
isabelle
git mirror of the Munich isabelle hg repository
Language:Isabelle116 33 040
l4v
seL4 specification and proofs
Language:Isabelle517 38 101108
microkit
Microkit - A simple operating system framework for the seL4 microkernel
Language:Rust98 25 6352
rust-sel4
Rust support for seL4 userspace
Language:Rust125 20 5117
seL4
The seL4 microkernel
Language:C4.8k 204 429679
sel4bench
sel4 benchmarking applications and support library.
Language:C19 23 1431
sel4test
Test suite for seL4.
Language:C25 29 4263
util_libs
Language:C57 25 3186

seL4 microkernel and related repositories's Repositories

seL4/seL4
The seL4 microkernel
Language:C4.8k 204 429679
seL4/l4v
seL4 specification and proofs
Language:Isabelle517 38 101108
seL4/rust-sel4
Rust support for seL4 userspace
Language:Rust125 20 5117
seL4/isabelle
git mirror of the Munich isabelle hg repository
Language:Isabelle116 33 040
seL4/microkit
Microkit - A simple operating system framework for the seL4 microkernel
Language:Rust98 25 6352
seL4/sel4-tutorials
Tutorials for working with seL4 and/or CAmkES.
Language:Python53 26 4854
seL4/seL4_libs
No-assurance libraries for rapid-prototyping of seL4 apps.
Language:C52 25 1567
seL4/rumprun-sel4-demoapps
Apps for running with the rumprun unikernel on seL4.
Language:C31 28 1510
seL4/camkes-tool
The main CAmkES tool
Language:Python29 25 2971
seL4/sel4test
Test suite for seL4.
Language:C25 29 4263
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.
20 26 823
seL4/sel4bench
sel4 benchmarking applications and support library.
Language:C19 23 1431
seL4/docs
This is the source of the seL4 docs.
Language:C16 26 3752
seL4/camkes-vm-examples
Language:C15 22 1827
seL4/verification-manifest
Manifests for the collection of verification repositories
15 24 415
seL4/sel4test-manifest
Project to build and test seL4 for many different platforms
14 24 1039
seL4/seL4-CAmkES-L4v-dockerfiles
Dockerfiles defining the dependencies required to build seL4, CAmkES, and L4v.
Language:Shell13 22 3341
seL4/sel4-tutorials-manifest
8 22 418
seL4/sel4webserver
An seL4 reference webserver application
Language:CMake7 23 75
seL4/projects_libs
Language:C++6 22 320
seL4/sel4bench-manifest
Manifest of the seL4bench project, which contains microbenchmarks for seL4.
6 23 611
seL4/camkes-vm-examples-manifest
5 21 315
seL4/machine_queue
Machine Queue scripts for remote access to our CI system
Language:Shell5 18 10
seL4/ci-actions
CI GitHub actions for the seL4 repositories
Language:Python3 19 9413
seL4/website
The seL4.systems website
Language:HTML3 15 2114
seL4/picotcp
PicoTCP is a free TCP/IP stack implementation
Language:C2 10 04
seL4/sel4webserver-manifest
2 21 21
seL4/rust-root-task-demo
Demonstrates the use of the seL4 crates to construct a simple system
Language:Dockerfile1 18 08
seL4/website_pr_hosting
This repo stores the generated website files from PRs on https://github.com/seL4/website
Language:HTML0 5 00
seL4/whitepaper
Source for the seL4 white paper
Language:Perl0 19 23