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