| SPDX-License-Identifier | SPDX-FileCopyrightText |
|---|---|
CC-BY-SA-4.0 |
2020 seL4 Project a Series of LF Projects, LLC. |
The quickest and easiest way to get started with building a system on top of seL4 is the seL4 Microkit. We recommend to:
- start with the tutorial,
- check out the Microkit examples on the examples page,
- look at the manual to get a full overview, and
- check the supported platforms to see what hardware you can run on.
The Microkit is for systems with a statically described software architecture. For dynamic systems, you may want to work on the seL4 API directly (see below), or use one of the tools & frameworks that the seL4 ecosystem has to offer.
If you are planning to write a dynamic system or you want to learn about seL4 itself, we recommend to:
- check out the seL4 white paper for a high-level overview,
- start learning the API with the seL4 tutorials,
- look at the seL4 manual and API reference,
- browse the seL4 examples page for what is available, and
- check the supported platforms to see what hardware you can run on.
If you are looking for deeper background reading material, you might be interested in the selection of research publications on seL4 on the main website.
The Rust programming language is a great fit for writing applications on top of seL4. Check out:
- the Rust support for seL4, and
- examples tagged with Rust on the seL4 examples page.
If you just want instructions for building and running the seL4 kernel, check the page on setting up your machine.
seL4's claim to fame is that it is formally verified. These formal proofs are available in the l4v repository with their own setup and build instructions. See the verification pages on the main website for an overview of the proofs, and check the Verified Configurations to know which architecture/platform/configuration combinations of seL4 have verified properties.
Check out the navigation on the left for the main content of this documentation site.
If you have questions, you can head to the New to seL4 section on seL4 discourse or the general seL4 community help and support channels.