+src
+---
+
 * The structure and form of this operating system is inspired by the
   Nachos system from the University of California, Berkeley.  A few of
   the source files are more-or-less literal translations of the Nachos
   systems course.  These files bear the original MIT license notice.
 
 * All other code written by Ben Pfaff <blp@cs.stanford.edu>.
+
+projects
+--------
+
+* The projects are derived from those designed for Nachos by current
+  and former CS140 teaching assistants at Stanford University,
+  including at least the following people: Kelly Shaw <kashaw (at)
+  cs.stanford.edu>, Sameer Qureshi <squreshi@cs.stanford.edu>.
+
+* Updates for Pintos by Ben Pfaff <blp@cs.stanford.edu>.