pintos-os.org Git - pintos-anon/blob - AUTHORS

   1 * The structure and form of this operating system is inspired by the
   2   Nachos system from the University of California, Berkeley.  A few of
   3   the source files are more-or-less literal translations of the Nachos
   4   C++ code into C.  These files bear the original UCB license notice.
   5
   6 * Some of the source code is derived from code used in the
   7   Massachusetts Institute of Technology's 6.828 advanced operating
   8   systems course.  These files bear the original MIT license notice.
   9
  10 * All other code written by Ben Pfaff <blp@cs.stanford.edu>.