pintos-os.org Git - pintos-anon/blob - sigcse2009/figures.tex

   1 \newcommand{\pintosenvfigure}{
   2     \begin{figure}[htp]
   3     \centering
   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
   8     on actual hardware.}
   9     \label{fig:pintosenvs}
  10     \end{figure}
  11 }
  12
  13 \newcommand{\pintosdetailfigure}{
  14     \begin{figure*}[htp]
  15     \centering
  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}
  21     \end{figure*}
  22 }