docs/examples.html at master · seL4/docs · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
---
layout: home
title: Examples and demonstrators
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2025 Proofcraft Pty Ltd
---

<h1 class="text-center text-4xl font-bold tracking-tight text-dark md:text-5xl">
  {{ page.title }}
</h1>


<div class="mx-auto section-max-w text-center text-base sm:text-lg text-light">
  <p class="pt-6">
    Below are example systems and demonstrators provided by the seL4
    Foundation.
  </p>
  <p class="pt-2 pb-10">
    See also <a href="https://sel4.systems/use.html">who is using seL4</a>, as
    well as the <a href="https://sel4.systems/tools.html">list</a> of tools,
    frameworks, Software Development Kits (SDKs), and supported languages for
    seL4, either provided by the seL4 Foundation or provided by the seL4
    community.
  </p>
</div>


<div class="grid grid-cols-1 md:grid-cols-2 gap-y-24 gap-x-12 md:gap-x-20 px-2 sm:px-10 pt-8">
  {% include card_example.html
     icon="cloud"
     title="HTTP server"
     body="An seL4-based webserver written in Rust, using the seL4 Microkit."
     link="https://github.com/seL4/rust-microkit-http-server-demo"
     rust=true
     mkit=true
  %}
  {% include card_example.html
     icon="paint-brush"
     title="Banscii demo system"
     body="A simple system demonstrating the use of the seL4 Rust crates with the seL4 Microkit."
     link="https://github.com/seL4/rust-microkit-demo"
     rust=true
     mkit=true
  %}
  {% include card_example.html
     icon="other/rust-logo-blk"
     title="Simple Rust demo"
     body="Simple root task written in Rust running on seL4."
     link="https://github.com/seL4/rust-root-task-demo"
     rust=true
  %}
  {% include card_example.html
     icon="puzzle-piece"
     title="Microkit examples"
     body="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="https://github.com/seL4/microkit/tree/main/example"
     mkit=true
     C=true
  %}
</div>
<div class="grid grid-cols-1 w-full md:w-1/2 sm:mx-auto px-2 sm:px-10 pt-24 pb-12 sm:pb-20">
  {% include card_example.html
     icon="puzzle-piece"
     title="CAmkES examples"
     body="Collection of example systems built on seL4 using CAmkES.
           Use this repository via the <code>camkes-manifest</code>
           repo collection linked in the README."
     link="https://github.com/seL4/camkes"
     camkes=true
     C=true
  %}
</div>