seL4-docs/index.html

---
layout: home
title: The seL4 Documentation Site
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2025 Proofcraft Pty Ltd
---

<div class="max-w-2xl mx-auto mb-14">
{% include releases.html %}
</div>

<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="py-4">
    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.
  </p>
  <p class="py-4 a">
    General information about seL4, the seL4 Foundation, news and events can be
    found on the main <a href="https://sel4.systems">seL4 website</a>.
  </p>
</div>

<h2 id="fundamentals" class="text-center my-16 text-3xl font-bold tracking-tight text-dark md:text-4xl">
  Fundamentals
</h2>

<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 pb-12 sm:pb-20">
  {% include card.html
     icon="arrow-right-end-on-rectangle"
     title="Getting started"
     body="Tutorial overview, setting up your machine, how-to answers... everything you need to get started."
     link="getting-started.html"
  %}
  {% include card.html
     icon="sparkles"
     title="The seL4 Kernel"
     body="Manual, API, tutorials, supported platforms, verified configurations and more."
     link="projects/sel4/index.html"
  %}
</div>


<h2 id="devkits" class="text-center my-16 text-3xl font-bold tracking-tight text-dark md:text-4xl">
  Development Kits &amp; Component Frameworks
</h2>

<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 pb-12 sm:pb-20">
  {% include card.html
     icon="puzzle-piece"
     title="Microkit"
     body="Documentation about the Microkit framework."
     link="projects/microkit/index.html"
  %}
  {% include card.html
     icon="puzzle-piece"
     title="CAmkES"
     body="Documentation about the CAmkES framework."
     link="projects/camkes/index.html"
  %}
</div>

<h2 id="languages" class="text-center my-16 text-3xl font-bold tracking-tight text-dark md:text-4xl">
  Language Support
</h2>

<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 pb-12 sm:pb-20">
  {% include card.html
     icon="other/C"
     title="C support"
     body="Documentation about the C language support for seL4."
     link="projects/sel4runtime/index.html"
  %}
  {% include card.html
     icon="other/rust-logo-blk"
     title="Rust support"
     body="Documentation about the Rust language support for seL4."
     link="projects/rust/index.html"
  %}
</div>


<h2 id="boot" class="text-center my-16 text-3xl font-bold tracking-tight text-dark md:text-4xl">
  Boot and system initialisation
</h2>

<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 pb-12 sm:pb-20">
  {% include card.html
     icon="play-circle"
     title="ELF Loader"
     body="Boot loader for hardware preparation and kernel initialisation."
     link="projects/elfloader"
  %}
  {% include card.html
     icon="rectangle-group"
     title="capDL"
     body="Capability Distribution Language to describe kernel state for system initialisation."
     link="projects/capdl/"
  %}
</div>


<h2 id="systems" class="text-center my-16 text-3xl font-bold tracking-tight text-dark md:text-4xl">
  Systems
</h2>

<div class="grid grid-cols-1 sm:w-2/3 md:w-1/2 mx-auto px2 sm:px-10 pt-8 pb-12 sm:pb-20">
  {% include card.html
     icon="rocket-launch"
     title="Examples &amp; demos"
     body="Example systems and demonstrators built on seL4."
     link="examples.html"
  %}
</div>


<div class="mx-auto section-max-w text-center text-base sm:text-lg text-light">
  <p class="py-4">
    Contribute and help improve the seL4 documentation by clicking
    the <span class="font-semibold text-lighter">Edit page on Github</span> 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 <a href="{{ '/processes/docs-contributing.html' | relative_url
    }}">guidelines for contributing documentation</a>.
  </p>
</div>