1%
2% Copyright 2014, General Dynamics C4 Systems
3%
4% SPDX-License-Identifier: GPL-2.0-only
5%
6
7\documentclass[a4paper,11pt,twoside]{report}
8\usepackage[colour,nictaonly]{disy}
9
10% Setting this to true turns on the `draft' watermark
11\newif \ifDraft \Draftfalse
12%\Drafttrue
13
14\newif \ifxeightsix   \xeightsixtrue
15
16\usepackage[margin=33mm]{geometry}
17\usepackage{graphicx}
18\usepackage{cite,url,fancyhdr}
19
20% Draft support
21\ifDraft
22  \usepackage{draftcopy}
23  \newcommand{\Comment}[1]{\textbf{\textsl{#1}}}
24  \newcommand{\FIXME}[1]{\textbf{\textsl{FIXME: #1}}}
25  \date{}
26\else
27  \newcommand{\Comment}[1]{\relax}
28  \newcommand{\FIXME}[1]{\relax}
29  \date{}
30\fi
31
32\pagestyle{fancyplain}
33\lhead[\fancyplain{}{\sl\thepage}]{\fancyplain{}{\sl\rightmark}}
34\chead{}
35\rhead[\fancyplain{}{\sl\leftmark}]{\fancyplain{}{\sl\thepage}}
36\lfoot[\fancyplain{\sl\thepage}{}]{}
37\cfoot{\ifDraft\textsf{Data61 Confidential}\fi}
38\rfoot[]{\fancyplain{\sl\thepage}{}}
39
40\usepackage[T1]{fontenc}
41\usepackage{lmodern}
42\usepackage{listings}
43\usepackage{multirow}
44\usepackage{setspace}
45\usepackage{booktabs}
46\usepackage{tabularx}
47\usepackage{verbatim}
48\usepackage[small,bf,up,width=0.75\textwidth]{caption}
49\usepackage[htt]{hyphenat}
50\renewcommand{\captionfont}{\small}
51
52% Hyperlinks and Colors
53\usepackage{color}
54%\definecolor{linkcolor}{rgb}{.000,.348,.508}
55\definecolor{linkcolor}{rgb}{0, 0, 0}
56\usepackage[colorlinks=true,linkcolor=linkcolor,citecolor=linkcolor,
57            filecolor=linkcolor,pagecolor=linkcolor,urlcolor=linkcolor]{hyperref}
58\renewcommand{\chapterautorefname}{Chapter}
59\renewcommand{\sectionautorefname}{Section}
60\renewcommand{\subsectionautorefname}{Section}
61\renewcommand{\subsubsectionautorefname}{Section}
62\renewcommand{\appendixautorefname}{Appendix}
63\renewcommand{\Hfootnoteautorefname}{Footnote}
64\newcommand{\Htextbf}[1]{\textbf{\hyperpage{#1}}}
65\urlstyle{rm}
66
67% If statements
68\usepackage{ifthen}
69
70% Numbered subsubsections
71\setcounter{secnumdepth}{5}
72
73% Subsubsections it table of contents
74\setcounter{tocdepth}{5}
75
76% API functions / Kernel Objects
77\newcommand{\obj}[1]{\textsf{\small #1}}
78\newcommand{\apifunc}[2]{\hyperref[api:#2]{\texttt{#1()}}}
79\newcommand{\enummem}[1]{\texttt{#1}}
80\newcommand{\ipcbloc}[1]{\texttt{#1}}
81\newcommand{\reg}[1]{\texttt{#1}}
82
83\newcommand{\version}{\input{VERSION}}
84
85% Read information about the repository.
86\input{env}
87
88% Don't indent paragraphs; instead, just leave some vertical space.
89\parindent 0pt\parskip 6pt
90
91\begin{document}
92
93  \title{seL4 Reference Manual\\Version \version}
94
95  \author{Trustworthy~Systems~Team, Data61}
96  \AuthorEmail{https://sel4.systems/contact/}
97  \date{\commitdate}
98
99  \maketitle
100
101  \urlstyle{sf}
102  \thispagestyle{empty}
103
104  \vfill
105
106  \copyright~{\commityear} General Dynamics C4 Systems.\\
107
108  \textsc{All rights reserved}.
109
110  % Acknowledgements
111  \thispagestyle{empty}
112  \vfill
113  \renewcommand{\abstractname}{Acknowledgements}
114  \begin{abstract}
115% This list of contributors is based on the hg log. If you make commits please
116% add your name in alphabetical order.
117The primary authors of this document are Matthew Grosvenor and Adam Walker,
118with contributions from Adrian Danis, Andrew Boyton, Anna Lyons, David Greenaway, Etienne
119Le Sueur, Gernot Heiser, Gerwin Klein, Godfrey van der Linden, Kevin
120Elphinstone, Matthew Fernandez, Matthias Daum, Michael von Tessin, Peter Chubb,
121Simon Winwood, Thomas Sewell, Timothy Bourke and Toby Murray. All authors 
122and contributors can be contacted at firstname.lastname@data61.csiro.au.
123  \end{abstract}
124  \thispagestyle{empty}
125
126  \cleardoublepage
127  \setcounter{page}{1}
128  \tableofcontents
129  \listoftables
130  \listoffigures
131
132  \cleardoublepage
133  \setcounter{page}{1}
134  \pagenumbering{arabic}
135
136  % Introduction
137  \input{parts/intro}
138
139  % Chapters
140  \input{parts/objects}
141  \input{parts/cspace}
142  \input{parts/ipc}
143  \input{parts/notifications}
144  \input{parts/threads}
145  \input{parts/vspace}
146  \input{parts/io}
147  \input{parts/bootup}
148
149  % API Reference
150  \chapter{seL4 API Reference}
151  \label{sec:api_reference}
152  \input{parts/api}
153
154  % Bibliography
155  \cleardoublepage
156  \bibliographystyle{alpha}
157  \bibliography{references}
158
159\end{document}
160