4 * Most code written by Ben Pfaff <blp@cs.stanford.edu>.
6 * The structure and form of this operating system is inspired by the
7 Nachos system from the University of California, Berkeley. A few of
8 the source files are more-or-less literal translations of the Nachos
9 C++ code into C. These files bear the original UCB license notice.
11 * Some of the source code is derived from code used in the
12 Massachusetts Institute of Technology's 6.828 advanced operating
13 systems course. These files bear the original MIT license notice.
18 * The projects are derived from those designed for Nachos by current
19 and former CS140 teaching assistants at Stanford University,
20 including at least the following people:
22 - Yu Ping <yph@cs.stanford.edu>
26 - Kelly Shaw <kashaw (at) cs.stanford.edu>,
28 - Paul Twohey <twohey AT cs DOT stanford DOT edu>
30 - Sameer Qureshi <squreshi@cs.stanford.edu>
34 If you're not on this list but should be, please let me know.
36 * The section on multilevel feedback schedulers in the threads project
37 is adapted from a handout written by Andrea Arpaci-Dusseau
38 <"dusseau" at the server cs.wisc.edu>.
40 * Updates for Pintos by Ben Pfaff <blp@cs.stanford.edu>.
42 * Example code in the tour's description of monitors is from Mendel
43 Roseblum's classroom slides.