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