History

Yanfeng Liu 80e60fe397 manual/objects: clean garbage This drops unnecessary `iz` text at chapter end. Signed-off-by: Yanfeng Liu <yfliu2008@qq.com>		2024-12-11 13:25:50 +11: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/objects: clean garbage	2024-12-11 13:25:50 +11: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

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.