Add "-k" option to pintos script. When used, pintos will scan the
[pintos.git] / LICENSE
blobd6e839203d9d3e2dab7b72e5680ce493a110982d
1 Most of Pintos is subject to the following license:  
3     Copyright 2004 Board of Trustees, Leland Stanford Jr. University
4     All rights reserved.
6     Permission is hereby granted, free of charge, to any person obtaining
7     a copy of this software and associated documentation files (the
8     "Software"), to deal in the Software without restriction, including
9     without limitation the rights to use, copy, modify, merge, publish,
10     distribute, sublicense, and/or sell copies of the Software, and to
11     permit persons to whom the Software is furnished to do so, subject to
12     the following conditions:
14     The above copyright notice and this permission notice shall be
15     included in all copies or substantial portions of the Software.
17     THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
18     EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
19     MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
20     NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
21     LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
22     OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
23     WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
25 A few individual files in Pintos were originally derived from other
26 projects, but they have been extensively modified for use in Pintos.
27 The original code falls under the original license, and modifications
28 for Pintos are additionally covered by the Pintos license above. 
30 In particular, code derived from Nachos is subject to the following
31 license:
33 /* Copyright (c) 1992-1996 The Regents of the University of California.
34    All rights reserved.
36    Permission to use, copy, modify, and distribute this software
37    and its documentation for any purpose, without fee, and
38    without written agreement is hereby granted, provided that the
39    above copyright notice and the following two paragraphs appear
40    in all copies of this software.
42    IN NO EVENT SHALL THE UNIVERSITY OF CALIFORNIA BE LIABLE TO
43    ANY PARTY FOR DIRECT, INDIRECT, SPECIAL, INCIDENTAL, OR
44    CONSEQUENTIAL DAMAGES ARISING OUT OF THE USE OF THIS SOFTWARE
45    AND ITS DOCUMENTATION, EVEN IF THE UNIVERSITY OF CALIFORNIA
46    HAS BEEN ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
48    THE UNIVERSITY OF CALIFORNIA SPECIFICALLY DISCLAIMS ANY
49    WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
50    WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
51    PURPOSE.  THE SOFTWARE PROVIDED HEREUNDER IS ON AN "AS IS"
52    BASIS, AND THE UNIVERSITY OF CALIFORNIA HAS NO OBLIGATION TO
53    PROVIDE MAINTENANCE, SUPPORT, UPDATES, ENHANCEMENTS, OR
54    MODIFICATIONS.
57 Also, code derived from MIT's 6.828 course code is subject to the
58 following license:
61  * Copyright (C) 1997 Massachusetts Institute of Technology 
62  *
63  * This software is being provided by the copyright holders under the
64  * following license. By obtaining, using and/or copying this software,
65  * you agree that you have read, understood, and will comply with the
66  * following terms and conditions:
67  *
68  * Permission to use, copy, modify, distribute, and sell this software
69  * and its documentation for any purpose and without fee or royalty is
70  * hereby granted, provided that the full text of this NOTICE appears on
71  * ALL copies of the software and documentation or portions thereof,
72  * including modifications, that you make.
73  *
74  * THIS SOFTWARE IS PROVIDED "AS IS," AND COPYRIGHT HOLDERS MAKE NO
75  * REPRESENTATIONS OR WARRANTIES, EXPRESS OR IMPLIED. BY WAY OF EXAMPLE,
76  * BUT NOT LIMITATION, COPYRIGHT HOLDERS MAKE NO REPRESENTATIONS OR
77  * WARRANTIES OF MERCHANTABILITY OR FITNESS FOR ANY PARTICULAR PURPOSE OR
78  * THAT THE USE OF THE SOFTWARE OR DOCUMENTATION WILL NOT INFRINGE ANY
79  * THIRD PARTY PATENTS, COPYRIGHTS, TRADEMARKS OR OTHER RIGHTS. COPYRIGHT
80  * HOLDERS WILL BEAR NO LIABILITY FOR ANY USE OF THIS SOFTWARE OR
81  * DOCUMENTATION.
82  *
83  * The name and trademarks of copyright holders may NOT be used in
84  * advertising or publicity pertaining to the software without specific,
85  * written prior permission. Title to copyright in this software and any
86  * associated documentation will at all times remain with copyright
87  * holders. See the file AUTHORS which should have accompanied this software
88  * for a list of all copyright holders.
89  *
90  * This file may be derived from previously copyrighted software. This
91  * copyright applies only to those changes made by the copyright
92  * holders listed in the AUTHORS file. The rest of this file is covered by
93  * the copyright notices, if any, listed below.
94  */