X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=sigcse2009%2Fabstract.tex;h=beb3b032b2c7641cfbff8766b9907930c0194d11;hb=106c9d1b4689f28e372116d3d882bd5a1578bad3;hp=6e009cfe5d7a9c0a58c6bc0e396fb88a5efa0a5d;hpb=94e21cc3b0974d6ddf7d888471b18d3aad94ba7c;p=pintos-anon

diff --git a/sigcse2009/abstract.tex b/sigcse2009/abstract.tex
index 6e009cf..beb3b03 100644
--- 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.