added point about documentation

diff --git a/sigcse2009/principles.tex b/sigcse2009/principles.tex
index 1b9db1925dacb875ca5f521f7c15d2a001be50d5..da1357ce9b523f67de8a2241aec35c93068c3df7 100644 (file)
--- a/sigcse2009/principles.tex
+++ b/sigcse2009/principles.tex
@@ -52,8 +52,18 @@ of running Pintos in a simulated environment eliminates this
 non-determinism.  As a result, Pintos kernels can be debugged in a manner that
 is substantially similar to how user programs are being debugged.
 
-\paragraph{Provide analysis tools.}
+\paragraph{Include Analysis Tools}
 Static and dynamic analysis tools are now widely being used; an OS course should
 be no exception.  We have extended the Qemu emulator that perform tailored
 analyses that can point out errors such as race conditions.
 
+\paragraph{Provide Extensive and Structured Documentation}
+Instructional systems often are not shared, or fall in disuse because the expertise to use them
+in a teaching setting relies on too much undocumented knowledge, making training of
+teaching assistants difficult and providing a steep learning curve for instructors
+wishing to use.  Pintos includes an extensive 129 page manual, a sample solution,
+and instructions for teaching assistants.  The assignment documentation separates those parts
+students must read from those parts that merely provide supplemental information.
+%Even though Pintos uses an existing and complex architecture, our experience indicates
+%that the manual is sufficient for most students.
+