NameDateSize

..30-Nov-202030

disy.styH A D09-Apr-20204.5 KiB

DoxyfileH A D09-Apr-2020102.8 KiB

export.bstH A D09-Apr-20209.5 KiB

extra.bibH A D09-Apr-2020369

figs/H25-Jul-201914

MakefileH A D09-Apr-202010.8 KiB

manual.texH A D09-Apr-20204 KiB

parts/H05-Nov-202013

READMEH A D09-Apr-20201.3 KiB

references.bibH A D25-Jul-20198.7 KiB

tools/H09-Apr-20206

VERSIONH A D09-Nov-202010

README

1<!--
2     Copyright 2014, General Dynamics C4 Systems
3
4     SPDX-License-Identifier: GPL-2.0-only
5-->
6
7seL4 manual (including API). Default make target builds a PDF.
8
9Original text from paper template README follows...
10$Id: README,v 1.6 2007-03-07 15:09:26 gernot Exp $
11
12A note on referencing:
13
14The paper/report template can now handle the use of bibexport, and is set up to
15use this method by default. In your paper or report, instead of specifying your
16bibfile sources in the \bibliography{file0,file1} command, you simply specify
17\bibliography{references}. Specify your source bibfiles in the Makefile as
18described above.
19
20At make time, the build system will parse your targets for citations and then
21collate all the BibTeX entries in references.bib.
22This is useful for several reasons. If you need to hand edit BibTeX entries to
23save room in your paper, you don't need to edit the ERTOS bibfiles, or make
24duplicates on entries in extras.bib. It also means that BibTeX entries are stored
25with the paper in the repository.
26
27The Makefile is smart. If you add or remove a reference to a target, the build
28system will ask you whether you want to rebuild references.bib. This is to ensure
29that if you have made changes by hand to any references, these aren't overwritten.
30
31Consider updating this template when appropriate.
32