1<!--
2     Copyright 2021, seL4 Project a Series of LF Projects, LLC
3
4     SPDX-License-Identifier: CC-BY-SA-4.0
5-->
6
7seL4 Reference Manual
8=====================
9
10To build a PDF use
11
12    make
13
14You will need recent version of `LaTeX` and `doxygen`.
15
16The main source file is `manual.tex`, most of the text is in `parts/`,
17and most of the API reference is generated with `doxygen`.
18