docs/index.html at master · seL4/docs · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
---
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>