1 \newcommand{\pintosenvfigure}{
4 \includegraphics[trim=.5in 3.2in .7in .3in, clip,width=\columnwidth]{pintosoptions.pdf}
5 \caption{The same Pintos instructional kernel runs in a
6 fully reproducible simulated environment, in an enhanced
7 emulated environment with dynamic analysis capability, and
13 % old PDF that has legend at the bottom, we use pintosdetailfiguretwo instead now.
14 \newcommand{\pintosdetailfigure}{
17 \includegraphics[width=.7\textwidth]{pintosoverview.pdf}
18 \caption{Components of Pintos split in provided support code, test cases,
19 and components created in assignments. Overlapping components indicate
20 when students have to replace parts of the support code.}
21 \label{fig:pintosdetail}
25 % these are needed to use \fbox{} to surround includegraphics with so we can see the borders
26 \setlength\fboxsep{0pt}
27 \setlength\fboxrule{0.5pt}
29 \newcommand{\pintosdetailfiguretwo}{
33 % left bottom right top
34 \includegraphics[trim=.0in .4in .25in .1in, width=.7\textwidth]{pintosoverviewnolegend.pdf}
36 \includegraphics[trim=.0in 3.3in 7.3in .0in, width=1.6in]{pintosoverviewlegend.pdf}
39 \caption{Components of Pintos split in provided support code, test cases,
40 and components created in assignments. Overlapping components indicate
41 when students have to replace parts of the support code.}
42 \label{fig:pintosdetail}
46 \newcommand{\pintostestcounttable}{
49 Project & Functionality & Robustness & Regression \\
55 \caption{Pintos test cases by project.}