4 * Pintos core originally written by Ben Pfaff <blp@cs.stanford.edu>.
6 * Support for PCI, USB, GRUB, partitions, UHCI, and other features
7 contributed by Anthony Romano <chz@vt.edu>.
9 * The original structure and form of this operating system is inspired
10 by the Nachos system from the University of California, Berkeley. A
11 few of the source files are more-or-less literal translations of the
12 Nachos C++ code into C. These files bear the original UCB license
18 * The projects are primarily the creation of Ben Pfaff
19 <blp@cs.stanford.edu>.
21 * Godmar Back <godmar@gmail.com> made significant contributions to
24 * Although little remains unchanged, the projects were originally
25 derived from those designed for Nachos by current and former CS140
26 teaching assistants at Stanford University, including at least the
29 - Yu Ping <yph@cs.stanford.edu>
33 - Kelly Shaw <kashaw (at) cs.stanford.edu>,
35 - Paul Twohey <twohey AT cs DOT stanford DOT edu>
37 - Sameer Qureshi <squreshi@cs.stanford.edu>
41 If you're not on this list but should be, please let me know.
43 * Example code for condition variables is from classroom slides
44 originally by Dawson Engler and updated by Mendel Roseblum.