mirror of https://github.com/seL4/docs.git
80 lines
3.3 KiB
Markdown
80 lines
3.3 KiB
Markdown
---
|
|
layout: home
|
|
title: seL4 Docs
|
|
SPDX-License-Identifier: CC-BY-SA-4.0
|
|
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
|
|
---
|
|
<div class="flex-grid">
|
|
<div class="col">
|
|
|
|
This documentation site is for cooperatively developing and sharing documentation about <a href="https://sel4.systems">seL4</a>.
|
|
</div>
|
|
</div>
|
|
|
|
|
|
<div class="flex-grid">
|
|
<div class="col">
|
|
<h1><a href="/GettingStarted">Getting started</a></h1>
|
|
<p>Information about working with seL4 and its ecosystem</p>
|
|
<ul>
|
|
<li><a href="/GettingStarted#background-and-terminology">seL4 Background</a></li>
|
|
<li><a href="/MaintainedRepositories">The source code</a></li>
|
|
<li><a href="/projects/sel4/documentation.html">Documentation</a></li>
|
|
<li><a href="/projects/sel4/frequently-asked-questions.html">Frequently Asked Questions (FAQ)</a></li>
|
|
<li><a href="/projects/roadmap.html">Roadmap</a></li>
|
|
<li><a href="/projects/buildsystem/host-dependencies.html">Build dependencies</a></li>
|
|
<li><a href="/GettingStarted#running-sel4">Building and Running seL4</a></li>
|
|
<li><a href="/Hardware">Supported platforms</a></li>
|
|
<li><a href="/projects/sel4/verified-configurations.html">Verification targets and claims</a></li>
|
|
</ul>
|
|
</div>
|
|
<div class="col">
|
|
<h1><a href="/processes/">Contributing</a></h1>
|
|
<p>Information about how to contribute to the seL4 platform and documentation.</p>
|
|
<ul>
|
|
<li><a href="/processes/conduct.html">Code of Conduct</a></li>
|
|
<li><a href="/processes#development-processes">Development process</a></li>
|
|
<li><a href="/processes/roles.html">Roles</a></li>
|
|
<li><a href="/processes/contributing.html">Contribution process</a></li>
|
|
<li><a href="/processes/release-process.html">Release process</a></li>
|
|
<li><a href="/processes/rfc-process.html">Request For Comment (RFC) process</a></li>
|
|
<li><a href="/processes/style-guide.html">Style Guide</a></li>
|
|
</ul>
|
|
</div>
|
|
</div>
|
|
<div class="flex-grid" >
|
|
<div class="col ">
|
|
<h1><a href="/projects/">Projects</a></h1>
|
|
<p>List and details of all the projects that make up the seL4 platform.</p>
|
|
|
|
<ul>
|
|
<li><a href="/projects/sel4/">seL4 kernel</a></li>
|
|
<li><a href="/projects/l4v/">L4.verified</a></li>
|
|
<li><a href="/projects/microkit/">seL4 Microkit</a></li>
|
|
<li><a href="/projects/camkes/">CAmkES</a></li>
|
|
<li><a href="/projects/sel4test/">seL4test</a></li>
|
|
<li><a href="/projects/sel4bench/">seL4bench</a></li>
|
|
<li><a href="/projects/virtualization/">Virtualisation</a></li>
|
|
<li><a href="/projects/buildsystem/">Build System</a></li>
|
|
<li><a href="/projects/sel4webserver/">Example system: seL4webserver</a></li>
|
|
</ul>
|
|
</div>
|
|
<div class="col">
|
|
<h1><a href="/Tutorials/">Tutorials</a></h1>
|
|
<p>Tutorials and other material to learn about seL4.</p>
|
|
|
|
<ul>
|
|
<li><a href="/Tutorials#how-to-use-the-tutorials">Tutorial overview</a></li>
|
|
<li><a href="/Tutorials#introduction-tutorial">Introduction (hello world)</a></li>
|
|
<li><a href="/Tutorials#sel4-mechanisms-tutorials">seL4 mechanisms</a></li>
|
|
<li><a href="/Tutorials#camkes-tutorials">CAmkES</a></li>
|
|
<li><a href="/Tutorials#rapid-prototyping-tutorials">Rapid prototyping</a></li>
|
|
<li><a href="/Tutorials#virtual-machines">Virtual machines</a></li>
|
|
<li><a href="/Tutorials#mcs-extensions">MCS extensions</a></li>
|
|
</ul>
|
|
</div>
|
|
</div>
|
|
|
|
|
|
|