portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
seL4/manual
History
Gernot Heiser b1ee44f4b7 Update terminology: s/ARM/Arm/g 
Signed-off-by: Gernot Heiser <gernot@unsw.edu.au>
2021-06-17 20:19:51 +10:00
..
figs no logo without more disclaimers 2015-11-09 20:42:28 +01:00
logos manual: apply foundation branding 2021-06-17 20:19:51 +10:00
parts Update terminology: s/ARM/Arm/g 2021-06-17 20:19:51 +10:00
tools Convert license tags to SPDX identifiers 2020-03-09 13:21:49 +08:00
Doxyfile Convert license tags to SPDX identifiers 2020-03-09 13:21:49 +08:00
export.bst Convert license tags to SPDX identifiers 2020-03-09 13:21:49 +08:00
extra.bib license ID for bib file 2020-03-09 13:21:49 +08:00
Makefile Convert license tags to SPDX identifiers 2020-03-09 13:21:49 +08:00
manual.tex manual: use more modern draft package 2021-06-17 20:19:51 +10:00
README.md manual: replace old README 2021-06-17 20:19:51 +10:00
references.bib manual: Purely cosmetic changes / improved wording 2015-08-21 08:37:17 +10:00
sel4.sty manual: apply foundation branding 2021-06-17 20:19:51 +10:00
VERSION Use correct version file in manual.tex 2016-03-17 14:40:53 +11:00

README.md

seL4 Reference Manual

To build a PDF use

make

You will need recent version of LaTeX and doxygen.

The main source file is manual.tex, most of the text is in parts/, and most of the API reference is generated with doxygen.