seL4/rust-root-task-demo seL4/rust-root-task-demo

  • Stars
    star
    1
  • Language
    Dockerfile
  • Created over 1 year ago
  • Updated about 2 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
seL4/rust-root-task-demo
github

seL4

Reviews

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

Repository Details

Demonstrates the use of the seL4 crates to construct a simple system

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

website

The seL4.systems website
HTML
3
star
42

ci-actions

CI GitHub actions for the seL4 repositories
Python
3
star
43

rust-microkit-demo

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

camkes-vm-images

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

sel4webserver-manifest

2
star
46

pruner

Tool for trimming functions from a C source file
C
2
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