kent-mcleod

boringtun

Userspace WireGuard® Implementation in Rust

camkes

Component Architecture test suite and example apps.

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.

camkes-tool

The main CAmkES tool

camkes-vm

Virtual Machine build as a CAmkES component.

camkes-vm-examples

capdl

Capability Distribution Language tools for seL4

CASE

DARPA CASE program

case-ta6-platform-assessment-camkes-apps

CAmkES applications for the DARPA CASE program Platform Assessment #1

docs

This is the source of the seL4 docs.

elixir-cmake

CMake compiler for Mix

global-components

journal

kent-mcleod.github.io

musllibc

phd

rumprun

The Rumprun unikernel and toolchain for various platforms

rust-www

The Rust website

rustwall

Rust firewall for seL4

seL4

The seL4 microkernel

seL4_libs

No-assurance libraries for rapid-prototyping of seL4 apps.

seL4_projects_libs

seL4_tools

Basic tools for building seL4 projects

sel4bench

sel4 benchmarking applications and support library.

sel4runtime

A minimal runtime for seL4 applications.

sel4test

Test suite for seL4.

sel4test-manifest

Project to build and test seL4 for many different platforms

sel4webserver

An seL4 reference webserver application

tidy-markdown

Beautify Markdown, fixing formatting mistakes and standardizing syntax

util_libs