• Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language
    HTML
  • Created over 4 years ago
  • Updated 19 days ago

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

The seL4.systems website

More Repositories

1

seL4

The seL4 microkernel
C
4,718
star
2

l4v

seL4 specification and proofs
Isabelle
510
star
3

rust-sel4

Rust support for seL4 userspace
Rust
117
star
4

isabelle

git mirror of the Munich isabelle hg repository
Isabelle
114
star
5

microkit

Microkit - A simple operating system framework for the seL4 microkernel
Rust
82
star
6

util_libs

C
55
star
7

seL4_libs

No-assurance libraries for rapid-prototyping of seL4 apps.
C
52
star
8

sel4-tutorials

Tutorials for working with seL4 and/or CAmkES.
Python
52
star
9

refos

Prototype no-assurance reference OS personality built on seL4
C
49
star
10

seL4_tools

Basic tools for building seL4 projects
C
43
star
11

capdl

Capability Distribution Language tools for seL4
Haskell
34
star
12

rumprun-sel4-demoapps

Apps for running with the rumprun unikernel on seL4.
C
29
star
13

camkes-tool

The main CAmkES tool
Python
29
star
14

camkes

Component Architecture test suite and example apps.
C
27
star
15

musllibc

C
25
star
16

sel4test

Test suite for seL4.
C
25
star
17

camkes-vm

Virtual Machine built as a CAmkES component.
C
24
star
18

refos-manifest

Reference Operating system based on seL4 --- example code
21
star
19

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
star
20

seL4_projects_libs

C
19
star
21

sel4bench

sel4 benchmarking applications and support library.
C
18
star
22

camkes-vm-examples

C
16
star
23

docs

This is the source of the seL4 docs.
C
16
star
24

verification-manifest

Manifests for the collection of verification repositories
15
star
25

sel4test-manifest

Project to build and test seL4 for many different platforms
14
star
26

seL4-CAmkES-L4v-dockerfiles

Dockerfiles defining the dependencies required to build seL4, CAmkES, and L4v.
Shell
13
star
27

sel4runtime

A minimal runtime for seL4 applications.
C
12
star
28

camkes-arm-vm

C
11
star
29

graph-refine

Python
10
star
30

sel4-tutorials-manifest

8
star
31

camkes-arm-vm-manifest

Manifest for building a virtual machine on seL4 on ARM.
7
star
32

sel4webserver

An seL4 reference webserver application
CMake
7
star
33

sel4bench-manifest

Manifest of the seL4bench project, which contains microbenchmarks for seL4.
6
star
34

camkes-vm-examples-manifest

6
star
35

camkes-vm-manifest

CAmkES code and examples
6
star
36

projects_libs

C++
6
star
37

camkes-vm-linux

CMake
4
star
38

global-components

C
4
star
39

rust-microkit-http-server-demo

Demonstrates the use of the seL4 crates with the seL4 Microkit
Rust
4
star
40

machine_queue

Machine Queue scripts for remote access to our CI system
Shell
4
star
41

ci-actions

CI GitHub actions for the seL4 repositories
Python
3
star
42

rust-microkit-demo

Demonstrates the use of the seL4 crates with the seL4 Microkit
Rust
2
star
43

camkes-vm-images

Precompiled kernels etc. for use with camkes VMs.
CMake
2
star
44

sel4webserver-manifest

2
star
45

pruner

Tool for trimming functions from a C source file
C
2
star
46

rust-root-task-demo

Demonstrates the use of the seL4 crates to construct a simple system
Dockerfile
1
star
47

mcs-examples

Native seL4 and CAmkES examples of mixed criticality mechanisms.
C
1
star
48

cakeml_libs

A collection of libraries and utilities to be used with CakeML applications.
Standard ML
1
star