Home
last modified time | relevance | path

Searched refs:pdf (Results 1 – 7 of 7) sorted by relevance

/seL4-master/manual/
A DMakefile67 …$(Perf_Sources:.perf=.pdf) $(Dia_Sources:.dia=.pdf) $(Fig_Sources:.fig=.pdf) $(Gnuplot_Sources:.gn…
69 Pdf = $(addsuffix .pdf, $(Targets))
72 Diff_Pdf = $(addsuffix .pdf, $(Optional))
93 all: pdf
97 pdf: generated-latex $(Figures) Makefile $(Pdf) target
188 %.pdf: %.perf tools/bargraph.pl
190 ${Q}${BarGraph} -pdf $< > $@
192 %.pdf: %.eps
196 %.pdf: %.ps
216 view: pdf
[all …]
A Dextra.bib9 note = {\url{http://download.intel.com/technology/computing/vptech/Intel(r)_VT_for_Direct_IO.pdf}}
17 url = {https://sel4.systems/About/seL4-whitepaper.pdf}
A Dreferences.bib171 {\url{http://download.intel.com/technology/computing/vptech/Intel(r)_VT_for_Direct_IO.pdf}},
265 url = {https://sel4.systems/About/seL4-whitepaper.pdf},
A Dsel4.sty128 \newcommand{\Logo@FileName}{logos/seL4-Foundation-logo.pdf}
129 \newcommand{\Triang@FileName}{logos/blacktriangle.pdf}
/seL4-master/
A D.gitignore23 manual/manual.pdf
/seL4-master/.github/workflows/
A Dmanual.yml23 path: manual/manual.pdf
/seL4-master/manual/parts/
A Dcspace.tex361 \includegraphics[scale=0.5]{figs/fig1-4.pdf}
424 \includegraphics[scale=0.5]{figs/fig2-1.pdf}

Completed in 7 milliseconds