RTOS/seL4
1
0
Fork 0
forked from Imagelibrary/seL4
Code Pull Requests Activity
Files
74b4768a59b1c325b067981b9f79a319a05e4149
seL4/manual
History
Indan Zupancic 74b4768a59 manual: fix contact link 
Signed-off-by: Indan Zupancic <indan@nul.nu>
Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
2024-06-30 21:14:32 +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
manual: list all faults and fix style
2024-06-26 20:10:53 +10:00
tools
manual: remove dependency on 'six' Python package
2024-05-02 10:17:13 +01:00
Doxyfile
manual: remove obsolete doxygen settings
2023-11-07 16:13:27 +11:00
export.bst
Convert license tags to SPDX identifiers
2020-03-09 13:21:49 +08:00
extra.bib
manual: bring intro up-to-date
2021-09-30 18:07:19 +10:00
Makefile
libsel4: rename interface XML files
2024-06-30 18:28:12 +10:00
manual.tex
manual: fix contact link
2024-06-30 21:14:32 +10:00
README.md
manual: replace old README
2021-06-17 20:19:51 +10:00
references.bib
manual: bring intro up-to-date
2021-09-30 18:07:19 +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.