| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | 19-Nov-2021 | - | ||||
| figs/ | 19-Nov-2021 | - | ||||
| logos/ | 19-Nov-2021 | - | ||||
| parts/ | 19-Nov-2021 | - | ||||
| tools/ | 19-Nov-2021 | - | ||||
| Doxyfile | A D | 19-Nov-2021 | 102.8 KiB | 2,413 | 1,865 | |
| Makefile | A D | 19-Nov-2021 | 10.8 KiB | 317 | 214 | |
| README.md | A D | 19-Nov-2021 | 378 | 18 | 7 | |
| VERSION | A D | 19-Nov-2021 | 11 | 2 | 1 | |
| export.bst | A D | 19-Nov-2021 | 9.5 KiB | 454 | 452 | |
| extra.bib | A D | 19-Nov-2021 | 974 | 35 | 30 | |
| manual.tex | A D | 19-Nov-2021 | 4.2 KiB | 187 | 152 | |
| references.bib | A D | 19-Nov-2021 | 10 KiB | 275 | 250 | |
| sel4.sty | A D | 19-Nov-2021 | 9.7 KiB | 314 | 298 |
README.md
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