Fix ld output with recent versions of GCC and binutils

[pintos-anon] / sigcse2009 / abstract.tex

diff --git a/sigcse2009/abstract.tex b/sigcse2009/abstract.tex
index 6e009cfe5d7a9c0a58c6bc0e396fb88a5efa0a5d..beb3b032b2c7641cfbff8766b9907930c0194d11 100644 (file)
--- a/sigcse2009/abstract.tex
+++ b/sigcse2009/abstract.tex
@@ -1,2 +1,13 @@
-
-Tend to write the abstract last.
+Pintos is an instructional operating system, complete with documentation
+and ready-made, modular projects that introduce students to
+the principles of multi-programming, scheduling, virtual memory,
+and filesystems.  By allowing students to run their work product on
+actual hardware, while simultaneously benefiting from debugging
+and dynamic analysis tools provided in simulated and emulated environments,
+Pintos increases student engagement.  Unlike tailored versions of
+commercial or open source OS such as Linux, Pintos is designed from the
+ground up from an educational perspective.  
+It has been used by multiple institutions for a number of years and
+is available for wider use.
+%Finally, Pintos includes a set of debugging, diagnosis, and dynamic analysis 
+%tools to reduce the complexity of kernel-level development.