seL4 microkernel and related repositories

Provided by the seL4 Foundation

Pinned Repositories

camkes-tool
The main CAmkES tool
Language:Python29 26 2965
capdl
Capability Distribution Language tools for seL4
Language:Haskell34 24 946
isabelle
git mirror of the Munich isabelle hg repository
Language:Isabelle116 34 040
l4v
seL4 specification and proofs
Language:Isabelle490 40 92103
microkit
Microkit - A simple operating system framework for the seL4 microkernel
Language:Rust66 25 4037
rust-sel4
Rust support for seL4 userspace
Language:Rust81 20 178
seL4
The seL4 microkernel
Language:C4.6k 205 407640
sel4bench
sel4 benchmarking applications and support library.
Language:C18 24 1330
sel4test
Test suite for seL4.
Language:C24 29 4159
util_libs
Language:C51 26 3181

seL4 microkernel and related repositories's Repositories

seL4/seL4
The seL4 microkernel
Language:C4.6k 205 407640
seL4/l4v
seL4 specification and proofs
Language:Isabelle490 40 92103
seL4/isabelle
git mirror of the Munich isabelle hg repository
Language:Isabelle116 34 040
seL4/rust-sel4
Rust support for seL4 userspace
Language:Rust81 20 178
seL4/microkit
Microkit - A simple operating system framework for the seL4 microkernel
Language:Rust66 25 4037
seL4/sel4-tutorials
Tutorials for working with seL4 and/or CAmkES.
Language:Python51 27 4855
seL4/seL4_libs
No-assurance libraries for rapid-prototyping of seL4 apps.
Language:C51 26 1563
seL4/util_libs
Language:C51 26 3181
seL4/seL4_tools
Basic tools for building seL4 projects
Language:C41 27 2987
seL4/rumprun-sel4-demoapps
Apps for running with the rumprun unikernel on seL4.
Language:C28 28 159
seL4/sel4test
Test suite for seL4.
Language:C24 29 4159
seL4/musllibc
Language:C22 27 945
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 27 822
seL4/seL4_projects_libs
Language:C18 26 1736
seL4/docs
This is the source of the seL4 docs.
Language:C16 26 3751
seL4/verification-manifest
Manifests for the collection of verification repositories
15 25 415
seL4/sel4test-manifest
Project to build and test seL4 for many different platforms
14 25 936
seL4/seL4-CAmkES-L4v-dockerfiles
Dockerfiles defining the dependencies required to build seL4, CAmkES, and L4v.
Language:Shell12 23 3339
seL4/sel4-tutorials-manifest
8 23 417
seL4/sel4bench-manifest
Manifest of the seL4bench project, which contains microbenchmarks for seL4.
6 24 510
seL4/camkes-vm-examples-manifest
4 22 315
seL4/ci-actions
CI GitHub actions for the seL4 repositories
Language:Python3 20 9413
seL4/website
The seL4.systems website
Language:HTML3 16 2113
seL4/machine_queue
Machine Queue scripts for remote access to our CI system
Language:Shell2 18 1
seL4/rust-microkit-http-server-demo
Demonstrates the use of the seL4 crates with the seL4 Microkit
Language:Rust2 19 22
seL4/sel4webserver-manifest
2 22 21
seL4/rust-microkit-demo
Demonstrates the use of the seL4 crates with the seL4 Microkit
Language:Rust1 18 13
seL4/rust-root-task-demo
Demonstrates the use of the seL4 crates to construct a simple system
Language:Dockerfile1 18 02
seL4/whitepaper
Source for the seL4 white paper
Language:Perl0 20 13
seL4/website_pr_hosting
This repo stores the generated website files from PRs on https://github.com/seL4/website
Language:HTML5 0