11 open source projects by seL4

Apps for running with the rumprun unikernel on seL4.

seL4 specification and proofs

The seL4 microkernel

Capability Distribution Language tools for seL4

The main CAmkES tool

Prototype no-assurance reference OS personality built on seL4

sel4 benchmarking applications and support library.

Component Architecture test suite and example apps.

Test suite for seL4.

No description, website, or topics provided.

Reference Operating system based on seL4 --- example code