Fix ld output with recent versions of GCC and binutils

[pintos-anon] / sigcse2009 / rest.tex

diff --git a/sigcse2009/rest.tex b/sigcse2009/rest.tex
index d26b88654c4a64da38cb7b4a7ae60c16b3dfd418..fde4f506d07822f657037822dc3e5c79c17dbbf3 100644 (file)
--- a/sigcse2009/rest.tex
+++ b/sigcse2009/rest.tex
@@ -1,9 +1,12 @@
-\section{Rest of paper}
-
-philosophy
-
 \section{Future Work}
 
-Pintos doesn't do SMP or multicore.
-Pintos doesn't do IPC.
-Pintos doesn't do networking.
+In the future, we will expand Pintos's analysis capabilities to
+provide quantitative information and include realistic device models.
+We are also considering extending Pintos to multiple
+CPUs and assignments that involve
+networking and interprocess communication (IPC).
+Although we have received highly favorable feedback from our 
+industrial affiliates, who compare students having used Pintos 
+to students having taken courses that use less concrete or external approaches,
+we need to perform a formal evaluation to compare learning
+outcomes using Pintos to other alternatives.