more fixes

[pintos-anon] / sigcse2009 / introduction.tex

diff --git a/sigcse2009/introduction.tex b/sigcse2009/introduction.tex
index 3a85363fc3eeb6971183cd86b709d2530b195925..5d003182f995a6fbe254496560835047914bbdd8 100644 (file)
--- a/sigcse2009/introduction.tex
+++ b/sigcse2009/introduction.tex
@@ -60,7 +60,8 @@ Although Pintos follows in the tradition of instructional operating systems
 such as Nachos~\cite{Christopher1993Nachos}, OS/161~\cite{Holland2002New}, and
 GeekOS~\cite{Hovemeyer2004Running}, 
 PortOS~\cite{Atkin2002PortOS},
-JOS~\cite{1088822}, or Yalnix~\cite{1088822} 
+BLITZ~\cite{PorterOverview},
+JOS~\cite{1088822}, or Yalnix~\cite{1088822},
 we believe that it is unique in two
 aspects.  First, Pintos runs on both real hardware and in emulated and
 simulated environments.\footnote{GeekOS claims to also run on real hardware, it requires,
@@ -79,9 +80,9 @@ work on concrete or virtualized hardware, but does not require that students
 understand the often arcane and ill-documented interfaces of the Linux kernel,
 which were not designed from an educational perspective.
 
-This paper reports on the design philosophy that underlies Pintos,
+This paper summarizes the design philosophy that underlies Pintos,
 details its structure, and outlines the nature and learning goals of each
-assignments.
+assignment.
 
 \pintosenvfigure{}