Add section heading for Debugging User Programs.
[pintos-anon] / AUTHORS
1 src                                                     -*- text -*-
2 ---
3
4 * Most code written by Ben Pfaff <blp@cs.stanford.edu>.
5
6 * The original structure and form of this operating system is inspired
7   by the Nachos system from the University of California, Berkeley.  A
8   few of the source files are more-or-less literal translations of the
9   Nachos C++ code into C.  These files bear the original UCB license
10   notice.
11
12 * Some of the source code is derived from code used in the
13   Massachusetts Institute of Technology's 6.828 advanced operating
14   systems course.  These files bear the original MIT license notice.
15
16 projects
17 --------
18
19 * The projects are derived from those designed for Nachos by current
20   and former CS140 teaching assistants at Stanford University,
21   including at least the following people: 
22         
23         - Yu Ping <yph@cs.stanford.edu>
24
25         - Greg Hutchins
26
27         - Kelly Shaw <kashaw (at) cs.stanford.edu>, 
28
29         - Paul Twohey <twohey AT cs DOT stanford DOT edu>
30
31         - Sameer Qureshi <squreshi@cs.stanford.edu>
32
33         - John Rector
34
35   If you're not on this list but should be, please let me know.
36
37 * Updates for Pintos by Ben Pfaff <blp@cs.stanford.edu>.
38
39 * Example code for condition variables is from classroom slides
40   originally by Dawson Engler and updated by Mendel Roseblum.