Examples and demonstrators
Below are example systems and demonstrators provided by the seL4 Foundation.
See also who is using seL4, as well as the list of tools, frameworks, Software Development Kits (SDKs), and supported languages for seL4, either provided by the seL4 Foundation or provided by the seL4 community.
HTTP server
An seL4-based webserver written in Rust, using the seL4 Microkit.
Link to HTTP server
Rust
Microkit
See the code
Banscii demo system
A simple system demonstrating the use of the seL4 Rust crates with the seL4 Microkit.
Link to Banscii demo system
Rust
Microkit
See the code
Simple Rust demo
Simple root task written in Rust running on seL4.
Link to Simple Rust demo
Rust
See the code
Microkit examples
Collection of example systems built on seL4 using Microkit. This
include: Hello world for C; Hello world for Rust; an ethernet system; a
passive server; a basic timer driver; a hierarchy of parent/child PD with
fault handling.
Link to Microkit examples
C
Microkit
See the code
CAmkES examples
Collection of example systems built on seL4 using CAmkES.
Use this repository via the
Link to CAmkES examples
camkes-manifest
repo collection linked in the README.
C
CAmkES
See the code