Releases Contribute Contact Support Main Site seL4 on GitHub

The seL4 Documentation Site

Welcome to the seL4 documentation site, for cooperatively developing and sharing documentation about the seL4 technology and associated frameworks, languages, components and systems, maintained by the seL4 Foundation.

General information about seL4, the seL4 Foundation, news and events can be found on the main seL4 website.

Fundamentals

Getting started

Tutorial overview, setting up your machine, how-to answers... everything you need to get started.

The seL4 Kernel

Manual, API, tutorials, supported platforms, verified configurations and more.

Development Kits & Component Frameworks

Microkit

Documentation about the Microkit framework.

CAmkES

Documentation about the CAmkES framework.

Language Support

C support

Documentation about the C language support for seL4.

Boot and system initialisation

ELF Loader

Boot loader for hardware preparation and kernel initialisation.

capDL

Capability Distribution Language to describe kernel state for system initialisation.

Systems

Examples & demos

Example systems and demonstrators built on seL4.

Contribute and help improve the seL4 documentation by clicking the Edit page on Github link below, at the bottom right of each page, or by checking out the repository and submitting a pull request manually. More information in the guidelines for contributing documentation.