X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=sigcse2009%2Fabstract.tex;h=beb3b032b2c7641cfbff8766b9907930c0194d11;hb=106c9d1b4689f28e372116d3d882bd5a1578bad3;hp=b472f73d33aa6688696ff4a4ef45810300b222c5;hpb=00518d06da1411fe087ea2a5b84a80dc25f05fba;p=pintos-anon diff --git a/sigcse2009/abstract.tex b/sigcse2009/abstract.tex index b472f73..beb3b03 100644 --- a/sigcse2009/abstract.tex +++ b/sigcse2009/abstract.tex @@ -1,7 +1,7 @@ Pintos is an instructional operating system, complete with documentation -and ready-made, structured assignments that introduce students to +and ready-made, modular projects that introduce students to the principles of multi-programming, scheduling, virtual memory, -and file systems. By allowing students to run their work product on +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