seL4/verification-manifest seL4/verification-manifest

  • Stars
    star
    15
  • Rank 1,371,379 (Top 28 %)
  • Language
  • Created over 10 years ago
  • Updated about 1 month ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
seL4/verification-manifest
github

seL4

Reviews

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

Repository Details

Manifests for the collection of verification repositories

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

sel4test-manifest

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

seL4-CAmkES-L4v-dockerfiles

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

sel4runtime

A minimal runtime for seL4 applications.
C
12
star
27

camkes-arm-vm

C
11
star
28

graph-refine

Python
10
star
29

sel4-tutorials-manifest

8
star
30

camkes-arm-vm-manifest

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

sel4webserver

An seL4 reference webserver application
CMake
7
star
32

sel4bench-manifest

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

camkes-vm-examples-manifest

6
star
34

camkes-vm-manifest

CAmkES code and examples
6
star
35

projects_libs

C++
6
star
36

camkes-vm-linux

CMake
4
star
37

global-components

C
4
star
38

rust-microkit-http-server-demo

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

machine_queue

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

website

The seL4.systems website
HTML
3
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