https://github.com/sel4/whitepaper
Source for the seL4 white paper
https://github.com/sel4/whitepaper
microkernel os sel4 sel4-microkernel
Last synced: 9 months ago
JSON representation
Source for the seL4 white paper
- Host: GitHub
- URL: https://github.com/sel4/whitepaper
- Owner: seL4
- Created: 2020-06-10T01:14:14.000Z (over 5 years ago)
- Default Branch: master
- Last Pushed: 2025-01-08T11:28:28.000Z (about 1 year ago)
- Last Synced: 2025-04-05T03:22:18.862Z (10 months ago)
- Topics: microkernel, os, sel4, sel4-microkernel
- Language: Perl
- Homepage: https://sel4.systems/About/
- Size: 5.77 MB
- Stars: 0
- Watchers: 18
- Forks: 3
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSES/BSD-2-Clause.txt
- Codeowners: .github/CODEOWNERS
Awesome Lists containing this project
README
# The seL4 white paper
This repository contains the [LaTeX][1] sources of the seL4 white paper.
The latest released PDF version of the white paper is available from
**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
Contributions are welcome!
Please raise a GitHub pull request with fixes, changes, or additions.
### Code of Conduct
This repository and interactions with it fall under the [seL4 Code of Conduct][2] available from the [seL4 website][3].
### Developer Certificate of Origin (DCO)
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
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 .
## Building the PDF
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.
## Contact
Gernot Heiser is the main author of the paper, please contact him for any
queries on this paper at .
## License
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`][4] tool can provide a full bill of
material.
seL4 is a trademark of LF Projects, LLC. See the [trademark guidelines][5]
for more information on conditions of use.
[1]: https://www.latex-project.org
[2]: https://docs.sel4.systems/processes/conduct.html
[3]: https://sel4.systems
[4]: https://github.com/fsfe/reuse-tool/
[5]: https://sel4.systems/Foundation/Trademark/