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 \newcommand{\pintosdetailfigure}{
16 \includegraphics[width=.7\textwidth]{pintosoverview.pdf}
17 \caption{Components of Pintos split in provided support code, test cases,
18 and components created in assignments. Overlapping components indicate
19 when students have to replace parts of the support code.}
20 \label{fig:pintosdetail}
24 \newcommand{\pintostestcounttable}{
27 Project & Functionality & Robustness & Regression \\
33 \caption{Pintos test cases by project.}