1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
src -*- text -*-
---
* Pintos core originally written by Ben Pfaff <blp@cs.stanford.edu>.
* Additional features contributed by Anthony Romano <chz@vt.edu>.
* The original 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 C++ code into C. These files bear the original UCB license
notice.
projects
--------
* The projects are primarily the creation of Ben Pfaff
<blp@cs.stanford.edu>.
* Godmar Back <godmar@gmail.com> made significant contributions to
project design.
* Although little remains unchanged, the projects were originally
derived from those designed for Nachos by current and former CS140
teaching assistants at Stanford University, including at least the
following people:
- Yu Ping <yph@cs.stanford.edu>
- Greg Hutchins
- Kelly Shaw <kashaw (at) cs.stanford.edu>,
- Paul Twohey <twohey AT cs DOT stanford DOT edu>
- Sameer Qureshi <squreshi@cs.stanford.edu>
- John Rector
If you're not on this list but should be, please let me know.
* Example code for condition variables is from classroom slides
originally by Dawson Engler and updated by Mendel Roseblum.