arm: implement flush cache debug syscall
[barrelfish] / doc / 018-Practical-guide / PracticalGuide.tex
1 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2 % Copyright (c) 2013 ETH Zurich.
3 % All rights reserved.
4 %
5 % This file is distributed under the terms in the attached LICENSE file.
6 % If you do not find this file, copies can be found by writing to:
7 % ETH Zurich D-INFK, Universitaetstr. 6, CH-8092 Zurich. Attn: Systems Group.
8 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
9
10 \documentclass[a4paper,twoside]{report} % for a report (default)
11
12 \usepackage{bftn,color} % You need this
13 \usepackage{subfig}
14 \usepackage{listings}
15 \usepackage{verbatim}
16
17 \usepackage{ifthen}
18 \ifthenelse{\isundefined{\hypersetup}}{
19   \usepackage[colorlinks=true,linkcolor=blue,urlcolor=blue]{hyperref}
20   \urlstyle{same} % normal text font (alternatives: tt, rm, sf)
21 }{}
22
23
24
25
26 \title{Barrelfish Practical Guide}   % title of report
27 \author{Team Barrelfish}        % author
28 \tnnumber{018}  % give the number of the tech report
29 \tnkey{Barrelfish Practical guide} % Short title, will appear in footer
30
31 % \date{Month Year} % Not needed - will be taken from version history
32
33 %% \newcommand{\note}[1]{}
34 \newcommand{\note}[1]{[\textcolor{red}{\textit{#1}}]}
35
36 \begin{document}
37 \maketitle
38
39 %
40 % Include version history first
41 %
42 %\begin{versionhistory}
43 %\vhEntry{1.0}{06.12.2013}{Pravin}{Initial version}
44 %\end{versionhistory}
45
46 % \intro{Abstract}              % Insert abstract here
47 % \intro{Acknowledgements}      % Uncomment (if needed) for acknowledgements
48 \tableofcontents                % Uncomment (if needed) for final draft
49 % \listoffigures                % Uncomment (if needed) for final draft
50 % \listoftables                 % Uncomment (if needed) for final draft
51
52
53 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
54 \chapter{Introduction}
55
56 This note describes how to build and boot Barrelfish on 64-bit PC
57 hardware, which is the default configuration for Barrelfish.  It then
58 goes on to work through a simple ``hello, world''-style application
59 which illustrates client-server programming in C on Barrelfish, and
60 the use of the message-passing subsystem.
61
62 Information on how to compile Barrelfish for other platforms, in
63 particular ARM, are found in other documents.  However, the
64 application programming section in this guide is still relevant.
65
66 \chapter{PC compilation and installation}\label{chap:compilationInstallation}
67 \input{readme}
68
69 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
70 \chapter{Writing Hello World application}\label{chap:helloWorldApp}
71 \input{helloWorldApp}
72
73 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
74 \bibliographystyle{abbrvnat}
75 \bibliography{paper}
76
77 \end{document}