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