Imagelibrary/seL4
1
0
Fork 1
mirror of https://github.com/seL4/seL4.git synced 2026-03-27 18:39:55 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
ec170f4c21cdd6c9e163c0da681c912a52b97b8a
seL4/manual
History
Gerwin Klein ec170f4c21 manual: make sharing more precise 
Using the same cap twice on the same slot is possible for remapping,
but using the same cap twice in different tables or VSpaces will result
in an error.

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
2023-03-30 18:36:54 +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: make sharing more precise
2023-03-30 18:36:54 +11:00
tools
add libsel4/tools/sel4_idl.xsd to replace dtd
2022-03-22 18:33:38 +11:00
Doxyfile
manual: remove obsolete doxygen options
2023-03-27 21:25:48 +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
manual: prevent unnecessary rebuilds
2023-03-27 21:25:48 +11:00
manual.tex
manual: fix broken links and latex complaints
2023-03-27 21:25:48 +11: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.