seL4 microkernel and related repositories

Provided by the seL4 Foundation

seL4_tools Public
Basic tools for building seL4 projects

C 28 64 9 (3 issues need help) 10 Updated Mar 23, 2022
verification-manifest Public
Manifests for the collection of verification repositories

13 13 0 0 Updated Mar 23, 2022
website Public
The seL4.systems website

Promela 1 9 5 1 Updated Mar 23, 2022
sel4bench-manifest Public
Manifest of the seL4bench project, which contains microbenchmarks for seL4.

5 6 1 1 Updated Mar 23, 2022
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.

14 18 1 0 Updated Mar 23, 2022
camkes-vm-examples-manifest Public

2 9 0 0 Updated Mar 23, 2022
rumprun-sel4-demoapps Public
Apps for running with the rumprun unikernel on seL4.

C 22 5 4 0 Updated Mar 23, 2022
docs Public
This is the source of the seL4 docs.

C 8 40 4 (1 issue needs help) 3 Updated Mar 23, 2022
sel4-tutorials-manifest Public

8 13 0 0 Updated Mar 23, 2022
seL4 Public
The seL4 microkernel

C 3,438 508 90 (4 issues need help) 52 Updated Mar 23, 2022

Pinned