mirror of https://github.com/seL4/docs.git
76 lines
2.5 KiB
HTML
76 lines
2.5 KiB
HTML
---
|
|
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>
|