This repository contains the LaTeX sources of the seL4 white paper.
The latest released PDF version of the white paper is available from https://sel4.systems/About/seL4-whitepaper.pdf
From the paper: This whitepaper provides an introduction to and overview of seL4. We explain what seL4 is (and is not) and explore its defining features. We explain what makes seL4 uniquely qualified as the operating-system kernel of choice for security- and safety-critical systems, and generally embedded and cyber-physical systems. In particular, we explain seL4's assurance story, its security- and safety-relevant features, and its benchmark-setting performance. We also discuss typical usage scenarios, including incremental cyber retrofit of legacy systems.
Contributions are welcome!
Please raise a GitHub pull request with fixes, changes, or additions.
This repository and interactions with it fall under the seL4 Code of Conduct available from the seL4 website.
This repository uses the same sign-off process as the Linux kernel. For every larger contribution (more than a few lines of change), please use
git commit -s
to add a sign-off line to your commit message, which will come out as:
Signed-off-by: name <email>
By adding this line, you make the declaration that you have the right to make this contribution under the open source license the files use that you changed or contributed.
The full text of the declaration is at https://developercertificate.org.
The paper build should work on Linux and MacOs systems.
You will need the packages texlive-latex-extra and texlive-fonts-extra
installed. With that, simply
make
should produce the file whitepaper.pdf.
The file references.bib is generated from a larger database not included in
this repository, but the paper should build fine without this database. If
make asks you if you want to regenerate the file, it is safe to say no.
Gernot Heiser is the main author of the paper, please contact him for any queries on this paper at gernot@seL4.systems.
The paper itself and most of the files in this repository are released under
open source licenses, see the SPDX headers in each file and the directory
LICENSES/ for details. The reuse tool can provide a full bill of
material.
seL4 is a trademark of LF Projects, LLC. See the trademark guidelines for more information on conditions of use.