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

diff --git a/sigcse2009/abstract.tex b/sigcse2009/abstract.tex
index 372fa22..beb3b03 100644
--- a/sigcse2009/abstract.tex
+++ b/sigcse2009/abstract.tex
@@ -1,10 +1,13 @@
 Pintos is an instructional operating system, complete with documentation
-and ready-made, structured assignments that introduce students to the 
-principles of multi-programming, scheduling, virtual memory, and file systems.
-By allowing students to run their work product on actual hardware,
-rather than only in simulated or emulated environments, Pintos can
-increase 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.  Finally, Pintos includes a set of
-debugging, diagnosis, and dynamic analysis tools to reduce the complexity
-of kernel-level development.
+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.