This is pdfTeX, Version 3.14159265-2.6-1.40.16 (TeX Live 2015/Exherbo texlive-core-2015-r2) (preloaded format=pdflatex)
 restricted \write18 enabled.
entering extended mode
(./manual.tex
LaTeX2e <2015/01/01>
Babel <3.9l> and hyphenation patterns for 4 languages loaded.
(/usr/share/texmf-dist/tex/latex/base/report.cls
Document Class: report 2014/09/29 v1.4h Standard LaTeX document class
(/usr/share/texmf-dist/tex/latex/base/size11.clo)) (./disy.sty
(/usr/share/texmf-dist/tex/latex/graphics/graphicx.sty
(/usr/share/texmf-dist/tex/latex/graphics/keyval.sty)
(/usr/share/texmf-dist/tex/latex/graphics/graphics.sty
(/usr/share/texmf-dist/tex/latex/graphics/trig.sty)
(/usr/share/texmf-dist/tex/latex/latexconfig/graphics.cfg)
(/usr/share/texmf-dist/tex/latex/pdftex-def/pdftex.def
(/usr/share/texmf-dist/tex/generic/oberdiek/infwarerr.sty)
(/usr/share/texmf-dist/tex/generic/oberdiek/ltxcmds.sty))))
(/usr/share/texmf-dist/tex/latex/url/url.sty)
(/usr/share/texmf-dist/tex/latex/graphics/color.sty
(/usr/share/texmf-dist/tex/latex/latexconfig/color.cfg)))
(/usr/share/texmf-dist/tex/latex/geometry/geometry.sty
(/usr/share/texmf-dist/tex/generic/oberdiek/ifpdf.sty)
(/usr/share/texmf-dist/tex/generic/oberdiek/ifvtex.sty)
(/usr/share/texmf-dist/tex/generic/ifxetex/ifxetex.sty))
(/usr/share/texmf-dist/tex/latex/cite/cite.sty)
(/usr/share/texmf-dist/tex/latex/fancyhdr/fancyhdr.sty)
(/usr/share/texmf-dist/tex/latex/listings/listings.sty
(/usr/share/texmf-dist/tex/latex/listings/lstmisc.sty)
(/etc/texmf/tex/latex/listings.d/listings.cfg))
(/usr/share/texmf-dist/tex/latex/multirow/multirow.sty)
(/usr/share/texmf-dist/tex/latex/setspace/setspace.sty)
(/usr/share/texmf-dist/tex/latex/booktabs/booktabs.sty)
(/usr/share/texmf-dist/tex/latex/tools/tabularx.sty
(/usr/share/texmf-dist/tex/latex/tools/array.sty))
(/usr/share/texmf-dist/tex/latex/tools/verbatim.sty)
(/usr/share/texmf-dist/tex/latex/caption/caption.sty
(/usr/share/texmf-dist/tex/latex/caption/caption3.sty))
(/usr/share/texmf-dist/tex/latex/hyphenat/hyphenat.sty

Package hyphenat Warning: *******************************
(hyphenat)                * You have used the htt option.
(hyphenat)                * You are likely to get many Font Warning messages.
(hyphenat)                * These can usually be ignored.
(hyphenat)                *******************************.

) (/usr/share/texmf-dist/tex/latex/hyperref/hyperref.sty
(/usr/share/texmf-dist/tex/generic/oberdiek/hobsub-hyperref.sty
(/usr/share/texmf-dist/tex/generic/oberdiek/hobsub-generic.sty))
(/usr/share/texmf-dist/tex/latex/oberdiek/auxhook.sty)
(/usr/share/texmf-dist/tex/latex/oberdiek/kvoptions.sty)
(/usr/share/texmf-dist/tex/latex/hyperref/pd1enc.def)
(/usr/share/texmf-dist/tex/latex/latexconfig/hyperref.cfg)

Package hyperref Warning: Option `pagecolor' is not available anymore.

)

Package hyperref Message: Driver (autodetected): hpdftex.

(/usr/share/texmf-dist/tex/latex/hyperref/hpdftex.def
(/usr/share/texmf-dist/tex/latex/oberdiek/rerunfilecheck.sty)) (./env.tex)
(./manual.aux) (/usr/share/texmf-dist/tex/context/base/supp-pdf.mkii
[Loading MPS to PDF converter (version 2006.09.02).]
) (/usr/share/texmf-dist/tex/latex/oberdiek/epstopdf-base.sty
(/usr/share/texmf-dist/tex/latex/oberdiek/grfext.sty)
(/usr/share/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg))
*geometry* driver: auto-detecting
*geometry* detected driver: pdftex

LaTeX Font Warning: Font shape `OT1/cmtt/b/n' undefined
(Font)              using `OT1/cmtt/m/n' instead on input line 84.


LaTeX Font Warning: Font shape `OT1/cmtt/b/it' undefined
(Font)              using `OT1/cmtt/b/n' instead on input line 84.


LaTeX Font Warning: Font shape `OT1/cmtt/b/sl' undefined
(Font)              using `OT1/cmtt/b/n' instead on input line 84.


LaTeX Font Warning: Font shape `OT1/cmtt/b/sc' undefined
(Font)              using `OT1/cmtt/b/n' instead on input line 84.


LaTeX Font Warning: Font shape `OT1/cmtt/bx/sl' undefined
(Font)              using `OT1/cmtt/bx/n' instead on input line 84.


LaTeX Font Warning: Font shape `OT1/cmtt/bx/sc' undefined
(Font)              using `OT1/cmtt/bx/n' instead on input line 84.


LaTeX Font Warning: Font shape `OT1/cmtt/sb/n' undefined
(Font)              using `OT1/cmtt/m/n' instead on input line 84.


LaTeX Font Warning: Font shape `OT1/cmtt/sb/it' undefined
(Font)              using `OT1/cmtt/sb/n' instead on input line 84.


LaTeX Font Warning: Font shape `OT1/cmtt/sb/sl' undefined
(Font)              using `OT1/cmtt/sb/n' instead on input line 84.


LaTeX Font Warning: Font shape `OT1/cmtt/sb/sc' undefined
(Font)              using `OT1/cmtt/sb/n' instead on input line 84.


LaTeX Font Warning: Font shape `OT1/cmtt/c/n' undefined
(Font)              using `OT1/cmtt/m/n' instead on input line 84.


LaTeX Font Warning: Font shape `OT1/cmtt/c/it' undefined
(Font)              using `OT1/cmtt/c/n' instead on input line 84.


LaTeX Font Warning: Font shape `OT1/cmtt/c/sl' undefined
(Font)              using `OT1/cmtt/c/n' instead on input line 84.


LaTeX Font Warning: Font shape `OT1/cmtt/c/sc' undefined
(Font)              using `OT1/cmtt/c/n' instead on input line 84.


LaTeX Font Warning: Font shape `OT1/cmtt/l/n' undefined
(Font)              using `OT1/cmtt/m/n' instead on input line 84.


LaTeX Font Warning: Font shape `OT1/cmtt/l/it' undefined
(Font)              using `OT1/cmtt/l/n' instead on input line 84.


LaTeX Font Warning: Font shape `OT1/cmtt/l/sl' undefined
(Font)              using `OT1/cmtt/l/n' instead on input line 84.


LaTeX Font Warning: Font shape `OT1/cmtt/l/sc' undefined
(Font)              using `OT1/cmtt/l/n' instead on input line 84.


LaTeX Font Warning: Font shape `OT1/cmtt/m/In' undefined
(Font)              using `OT1/cmtt/m/n' instead on input line 84.

(/usr/share/texmf-dist/tex/latex/hyperref/nameref.sty
(/usr/share/texmf-dist/tex/generic/oberdiek/gettitlestring.sty)) (./manual.out)
 (./manual.out)
Underfull \hbox (badness 10000) in paragraph at lines 93--93

(./VERSION) [1{/usr/share/texmf-dist/fonts/map/pdftex/updmap/pdftex.map}]
(/usr/share/texmf-dist/tex/latex/base/omscmr.fd)
Underfull \hbox (badness 10000) in paragraph at lines 99--100

[2]pdfTeX warning (ext4): destination with the same identifier (name{page.1}) h
as been already used, duplicate ignored
<to be read again> 
                   \relax 
l.116   \end{abstract}
                       [1]pdfTeX warning (ext4): destination with the same iden
tifier (name{page.2}) has been already used, duplicate ignored
<to be read again> 
                   \relax 
l.119   \cleardoublepage
                         [2] (./manual.toc
Underfull \vbox (badness 1314) has occurred while \output is active

Package Fancyhdr Warning: \headheight is too small (12.0pt): 
 Make it at least 13.59999pt.
 We now make it that large for the rest of the document.
 This may cause the page layout to be inconsistent, however.

pdfTeX warning (ext4): destination with the same identifier (name{page.1}) has 
been already used, duplicate ignored
<to be read again> 
                   \relax 
l.25 ...e {4}Message Passing (IPC)}{20}{chapter.4}
                                                   [1]
Underfull \vbox (badness 2762) has occurred while \output is activepdfTeX warni
ng (ext4): destination with the same identifier (name{page.2}) has been already
 used, duplicate ignored
<to be read again> 
                   \relax 
l.71 ...numberline {8}Hardware I/O}{39}{chapter.8}
                                                   [2] [3]
Underfull \vbox (badness 2635) has occurred while \output is active [4])
Underfull \vbox (badness 2635) has occurred while \output is active [5]
[6] (./manual.lot) [7] [8] (./manual.lof) [9] [10] (./parts/intro.tex
Chapter 1.
) (./parts/objects.texpdfTeX warning (ext4): destination with the same identifi
er (name{page.1}) has been already used, duplicate ignored
<to be read again> 
                   \relax 
l.11 \chapter
             {\label{ch:objects}Kernel Services and Objects} [1]
Chapter 2.

Overfull \hbox (15.58286pt too wide) in paragraph at lines 32--34
[]\OT1/cmr/m/n/10.95 provide a non-blocking sig-nalling mech-a-nism sim-i-lar t
o bi-nary semaphores; 
pdfTeX warning (ext4): destination with the same identifier (name{page.2}) has 
been already used, duplicate ignored
<to be read again> 
                   \relax 
l.61 A
       capability is an unforgeable token that references a specific kernel
[2]
Overfull \hbox (0.4799pt too wide) in paragraph at lines 105--110
\OT1/cmr/m/n/10.95 The seL4 ker-nel pro-vides a message-passing ser-vice for co
m-mu-ni-ca-tion be-tween threads.
pdfTeX warning (ext4): destination with the same identifier (name{page.3}) has 
been already used, duplicate ignored
<to be read again> 
                   \relax 
l.128 
       [3]pdfTeX warning (ext4): destination with the same identifier (name{pag
e.4}) has been already used, duplicate ignored
<to be read again> 
                   \relax 
l.195 ...apifunc{seL4\_ReplyRecv}{sel4_replyrecv}]
                                                   combines \apifunc{seL4\_R...
[4]pdfTeX warning (ext4): destination with the same identifier (name{page.5}) h
as been already used, duplicate ignored
<to be read again> 
                   \relax 
l.258     \item[Virtual Address Space Objects]
                                               (see \autoref{ch:vspace})
[5]pdfTeX warning (ext4): destination with the same identifier (name{page.6}) h
as been already used, duplicate ignored
<to be read again> 
                   \relax 
l.322 
       [6]pdfTeX warning (ext4): destination with the same identifier (name{pag
e.7}) has been already used, duplicate ignored
<to be read again> 
                   \relax 
l.383 
       [7]
Overfull \hbox (61.45859pt too wide) in paragraph at lines 463--463
[] [] 

Overfull \hbox (61.45859pt too wide) in paragraph at lines 486--486
[] [] 
) (./parts/cspace.texpdfTeX warning (ext4): destination with the same identifie
r (name{page.8}) has been already used, duplicate ignored
<to be read again> 
                   \relax 
l.11 \chapter
             {\label{ch:cspace}Capability Spaces} [8]pdfTeX warning (ext4): des
tination with the same identifier (name{page.9}) has been already used, duplica
te ignored
<to be read again> 
                   \relax 
l.11 \chapter
             {\label{ch:cspace}Capability Spaces} [9]
Chapter 3.

Overfull \hbox (7.6279pt too wide) in paragraph at lines 51--58
[]\OT1/cmr/m/n/10.95 seL4 re-quires the pro-gram-mer to man-age all in-kernel d
ata struc-tures, in-clud-ing CSpaces,

Underfull \vbox (badness 10000) has occurred while \output is activepdfTeX warn
ing (ext4): destination with the same identifier (name{page.10}) has been alrea
dy used, duplicate ignored
<to be read again> 
                   \relax 
l.75 
      [10] [11]
Underfull \hbox (badness 2213) in paragraph at lines 170--170
\OT1/cmr/m/n/10.95 pa-bil-i-ties (in-clud-ing
[12]
Underfull \hbox (badness 1226) in paragraph at lines 203--203
[]|\OT1/cmr/m/n/10.95 Error Code on Deriva-tion

Underfull \hbox (badness 1552) in paragraph at lines 203--203
[]|\OT1/cmss/m/n/10 IO Page Ta-ble (IA-32
<figs/CDT.pdf, id=1075, 521.95pt x 276.03125pt> <use figs/CDT.pdf> [13 <./figs/
CDT.pdf>]
Underfull \vbox (badness 5741) has occurred while \output is active [14]
<figs/fig1-4.pdf, id=1220, 492.239pt x 546.04pt> <use figs/fig1-4.pdf> [15]
[16 <./figs/fig1-4.pdf>] <figs/fig2-1.pdf, id=1250, 516.32903pt x 354.12299pt>
<use figs/fig2-1.pdf> [17 <./figs/fig2-1.pdf>]
Underfull \hbox (badness 10000) in paragraph at lines 477--479


Underfull \hbox (badness 10000) in paragraph at lines 477--479


Underfull \hbox (badness 10000) in paragraph at lines 490--492


Underfull \hbox (badness 10000) in paragraph at lines 490--492


Underfull \hbox (badness 10000) in paragraph at lines 504--507


Underfull \hbox (badness 10000) in paragraph at lines 504--507


Underfull \hbox (badness 10000) in paragraph at lines 516--516
[]|\OT1/cmtt/l/n/10.95 Offset + seL4[]-Cap-Fault[]-Depth-Mis-
[18]
Underfull \hbox (badness 10000) in paragraph at lines 520--523


Underfull \hbox (badness 10000) in paragraph at lines 520--523


Underfull \hbox (badness 10000) in paragraph at lines 533--533
[]|\OT1/cmtt/l/n/10.95 Offset + seL4[]-Cap-Fault[]-Guard-Mis-

Underfull \hbox (badness 10000) in paragraph at lines 533--533
[]|\OT1/cmtt/l/n/10.95 Offset + seL4[]-Cap-Fault[]-Guard-Mis-
) (./parts/ipc.tex [19]
Chapter 4.
[20]
Underfull \hbox (badness 10000) in paragraph at lines 113--113
[]|\OT1/cmtt/l/n/10.95 seL4[]-Cap-Data[]-t[]
[21] [22]) (./parts/notifications.tex [23]
Chapter 5.

Overfull \hbox (1.60707pt too wide) in paragraph at lines 42--48
[]\OT1/cmr/m/n/10.95 The [][]\OT1/cmtt/l/n/10.95 seL4[]-Wait()[][] \OT1/cmr/m/n
/10.95 method works sim-i-larly to a select-style wait on the set of semaphores
:

Overfull \hbox (0.22803pt too wide) in paragraph at lines 58--62
\OT1/cmr/m/n/10.95 thread is un-blocked with a zero re-turn value. If no thread
 is wait-ing, the [][][]\OT1/cmtt/l/n/10.95 ()[][]
[24]) (./parts/threads.tex [25]
Chapter 6.
[26]
Underfull \vbox (badness 1552) has occurred while \output is active [27]
[28]
Underfull \hbox (badness 10000) in paragraph at lines 181--183

[29]
Underfull \vbox (badness 7326) has occurred while \output is active [30]
Overfull \hbox (6.50354pt too wide) in paragraph at lines 337--341
[]\OT1/cmr/m/n/10.95 Additionally, \OT1/cmtt/l/n/10.95 seL4[]-Nu-mEx-clu-sive-B
reak-points\OT1/cmr/m/n/10.95 , \OT1/cmtt/l/n/10.95 seL4[]-Nu-mEx-clu-sive-Watc
h-points
[31]
Underfull \hbox (badness 10000) in paragraph at lines 426--426
[]|\OT1/cmtt/l/n/10.95 Breakpoint in-struc-

LaTeX Warning: `h' float specifier changed to `ht'.


Underfull \hbox (badness 10000) in paragraph at lines 433--435

[32]
Underfull \hbox (badness 1205) in paragraph at lines 448--448
[]|\OT1/cmr/m/n/10.95 Instruction fault (1 if the fault was

Underfull \hbox (badness 1205) in paragraph at lines 466--466
[]|\OT1/cmr/m/n/10.95 Instruction fault (1 if the fault was
[33]) (./parts/vspace.tex [34]
Chapter 7.
[35] [36]
Underfull \vbox (badness 2384) has occurred while \output is active [37])
(./parts/io.tex [38]
Chapter 8.

Underfull \vbox (badness 6808) has occurred while \output is active [39]

LaTeX Warning: Hyper reference `api:ia32_irq_handler_getioapic' on page 40 unde
fined on input line 72.


LaTeX Warning: Hyper reference `api:ia32_irq_handler_getmsi' on page 40 undefin
ed on input line 75.

[40]) (./parts/bootup.tex [41]
Chapter 9.
[42] [43]
Underfull \hbox (badness 2564) in paragraph at lines 205--205
\OT1/cmr/m/n/10.95 that is used for ker-nel de-

Underfull \hbox (badness 2261) in paragraph at lines 205--205
[]|\OT1/cmr/m/n/10.95 The IOMMU is en-abled by
) [44] [45]
Chapter 10.
(./parts/api.tex
Underfull \hbox (badness 10000) in paragraph at lines 159--163

[46] [47] (./generated/GeneralSystemCalls.tex [48] [49] [50] [51]) [52]
(./generated/ObjectApi.tex [53] [54] [55] [56] [57] [58] [59] [60] [61]
[62] [63]
Overfull \hbox (30.62978pt too wide) in paragraph at lines 291--291
\OT1/cmtt/l/n/10.95 static in-line seL4[]-TCB[]-Con-fig-ureSin-gleStep-ping[]-t
 seL4[]-TCB[]-Con-fig-ureSin-gleStep-

Overfull \hbox (3.69572pt too wide) in paragraph at lines 291--291
[]\OT1/cmr/m/it/10.95 Return value:  \OT1/cmr/m/n/10.95 A \OT1/cmtt/l/n/10.95 s
eL4[]-TCB[]-Con-fig-ureSin-gleStep-ping[]-t\OT1/cmr/m/n/10.95 : Struct that con
-tains `\OT1/cmtt/l/n/10.95 seL4[]-
[64] [65] [66] [67] [68] [69] [70] [71] [72] [73] [74] [75]) [76]
(./parts/api/ia32_ASID_controlmakepool.tex)
(./parts/api/ia32_ASID_poolassign.tex) (./parts/api/ia32_IO_portin8.tex
[77]) (./parts/api/ia32_IO_portin16.tex) (./parts/api/ia32_IO_portin32.tex)
(./parts/api/ia32_IO_portout8.tex [78]) (./parts/api/ia32_IO_portout16.tex)
(./parts/api/ia32_IO_portout32.tex [79]) (./parts/api/ia32_io_pagetable_map.tex
) (./parts/api/ia32_page_mapio.tex [80]) (./parts/api/ia32_page_map.tex)
(./parts/api/ia32_page_remap.tex [81]) (./parts/api/ia32_page_unmap.tex)
(./parts/api/ia32_page_getaddress.tex
Overfull \hbox (2.69429pt too wide) in paragraph at lines 20--20
[]\OT1/cmr/m/it/10.95 Return value: \OT1/cmr/m/n/10.95 A \OT1/cmtt/l/n/10.95 se
L4[]-IA32[]-Page[]-GetAd-dress[]-t \OT1/cmr/m/n/10.95 struct that con-tains \OT
1/cmtt/l/n/10.95 seL4[]-Word paddr\OT1/cmr/m/n/10.95 ,
[82]) (./parts/api/ia32_pagetable_map.tex)
(./parts/api/ia32_pagetable_unmap.tex [83])
(./parts/api/ia32_pagedirectory_getstatusbits.tex
Underfull \hbox (badness 1348) in paragraph at lines 21--21
[]|\OT1/cmr/m/n/10.95 Capability to the ad-dress space to
) (./parts/api/ia32_irq_control_getioapic.tex [84])
(./parts/api/ia32_irq_control_getmsi.tex [85]) [86]
(./parts/api/arm_asidcontrol_makepool.tex) (./parts/api/arm_asidpool_assign.tex
) (./parts/api/arm_page_cleandata.tex [87])
(./parts/api/arm_page_invalidatedata.tex)
(./parts/api/arm_page_cleaninvalidatedata.tex [88])
(./parts/api/arm_page_unifyinstruction.tex) (./parts/api/arm_page_map.tex
[89]) (./parts/api/arm_page_remap.tex) (./parts/api/arm_page_unmap.tex [90])
(./parts/api/arm_page_getaddress.tex
Overfull \hbox (0.61496pt too wide) in paragraph at lines 20--20
[]\OT1/cmr/m/it/10.95 Return value: \OT1/cmr/m/n/10.95 A seL4[]-ARM[]-Page[]-Ge
tAd-dress[]-t struct that con-tains \OT1/cmtt/l/n/10.95 seL4[]-Word paddr\OT1/c
mr/m/n/10.95 ,
) (./parts/api/arm_pagetable_map.tex [91]) (./parts/api/arm_pagetable_unmap.tex
)) [92] (./manual.bbl [93]) [94] (./manual.aux)

LaTeX Font Warning: Some font shapes were not available, defaults substituted.


LaTeX Warning: There were undefined references.

 )
(see the transcript file for additional information)</usr/share/texmf-dist/font
s/type1/public/amsfonts/cm/cmbx10.pfb></usr/share/texmf-dist/fonts/type1/public
/amsfonts/cm/cmbx12.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/c
mcsc10.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi10.pfb></u
sr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi8.pfb></usr/share/texmf-
dist/fonts/type1/public/amsfonts/cm/cmr10.pfb></usr/share/texmf-dist/fonts/type
1/public/amsfonts/cm/cmr6.pfb></usr/share/texmf-dist/fonts/type1/public/amsfont
s/cm/cmr8.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmr9.pfb></
usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmsl10.pfb></usr/share/texm
f-dist/fonts/type1/public/amsfonts/cm/cmss10.pfb></usr/share/texmf-dist/fonts/t
ype1/public/amsfonts/cm/cmss12.pfb></usr/share/texmf-dist/fonts/type1/public/am
sfonts/cm/cmssbx10.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cm
sy10.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmti10.pfb></usr
/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmtt10.pfb>
Output written on manual.pdf (108 pages, 557236 bytes).
Transcript written on manual.log.
