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