RTOS/seL4

Files

Yanfeng Liu 9edd2704ea manual: add CapSMC to table 9.1

This adds `seL4_CapSMC` to table 9.1 and updates section 9.1 so
that to be in line with latest upstream code.

Signed-off-by: Yanfeng Liu <yfliu2008@qq.com>

2024-11-03 15:09:59 +00: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: add CapSMC to table 9.1

2024-11-03 15:09:59 +00: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.