seL4 microkernel and related repositories

icon indicating a website link http://sel4.systems icon indicating an email [email protected]

icon location Provided by the seL4 Foundation

Results 23 repositories owned by seL4 microkernel and related repositories

seL4

4.6k
Stars
640
Forks
Watchers

The seL4 microkernel

verified publisher icon seL4

l4v

491
Stars
104
Forks
Watchers

seL4 specification and proofs

verified publisher icon seL4

isabelle

114
Stars
41
Forks
Watchers

git mirror of the Munich isabelle hg repository

verified publisher icon seL4

camkes

27
Stars
36
Forks
Watchers

Component Architecture test suite and example apps.

verified publisher icon seL4

camkes-manifest

20
Stars
22
Forks
Watchers

Top level project for CAmkES, a component platform that provides support for developing and building static seL4 systems as a collection of interacting components.

verified publisher icon seL4

camkes-tool

29
Stars
69
Forks
Watchers

The main CAmkES tool

verified publisher icon seL4

camkes-vm

21
Stars
35
Forks
Watchers

Virtual Machine built as a CAmkES component.

verified publisher icon seL4

capdl

34
Stars
46
Forks
Watchers

Capability Distribution Language tools for seL4

verified publisher icon seL4

musllibc

20
Stars
44
Forks
Watchers

verified publisher icon seL4

refos

49
Stars
23
Forks
Watchers

Prototype no-assurance reference OS personality built on seL4

verified publisher icon seL4