Getting Started
The seL4 Kernel
- Overview
- Setting up
- Tutorial
  - Setting up
  - Getting the tutorials
  - Hello world
  - Capabilities
  - Untyped
  - Mapping
  - Threads
  - IPC
  - Notifications
  - Interrupts
  - Fault handling
  - MCS
  - End
- How-to
- API docs
- Manual
- Supported platforms
- Verified configurations
- Configurations
- Standalone seL4 builds
- Bitfield generator
- Testing & benchmarking
- Contributing
- Porting to a new platform
- Releases
- Sources
Microkit
- Overview
- Setting up your machine
- Tutorial
- Manual
- Roadmap
- Supported platforms
- Releases
- Sources
CAmkES
- Overview
- Setting up your machine
- Tutorials
- How-to
- Manual
- Supported platforms
- Virtualisation
- Releases
- Sources
C support
- C runtime
- User-level libraries
- Build System
- Tutorials
- How-to
Rust support
- Overview
- How to use
- Tutorial
- API
- Supported configurations
- Releases
- Sources
ELF loader
- ELF loader for C
capDL
Examples & demos
- Overview

Releases Contribute Contact Support Main Site

This page is archived and is no longer receiving updates.

It remains here because some of the content may still be useful.

Updates to sel4webserver from camkes-3.7.x to camkes-3.8.0

Created sel4webserver project containing an seL4 webserver application. Its purpose is to be a reference for implementing applications on seL4.
- This project currently builds an odroid-xu4 VM that runs linux and gets some devices passed through to it.
Add lighttpd module. This module will build and install a static binary of the lighttpd webserver into a VM overlay. It is currently configured to serve a static site on port 3000 out of /run/site in the VM.
Add docsite package that downloads, builds and packages a docs.sel4.systems static website. It is intended for being served by the lighttpd webserver added previously.