Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
copied initial source code to the repository, let the fun begin
- Loading branch information
1 parent
2d47c86
commit 5b551c5
Showing
667 changed files
with
71,075 additions
and
0 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,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. |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,56 @@ | ||
Pintos, including its documentation, is subject to the following | ||
license: | ||
|
||
Copyright (C) 2004, 2005, 2006 Board of Trustees, Leland Stanford | ||
Jr. University. All rights reserved. | ||
|
||
Permission is hereby granted, free of charge, to any person obtaining | ||
a copy of this software and associated documentation files (the | ||
"Software"), to deal in the Software without restriction, including | ||
without limitation the rights to use, copy, modify, merge, publish, | ||
distribute, sublicense, and/or sell copies of the Software, and to | ||
permit persons to whom the Software is furnished to do so, subject to | ||
the following conditions: | ||
|
||
The above copyright notice and this permission notice shall be | ||
included in all copies or substantial portions of the Software. | ||
|
||
THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, | ||
EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF | ||
MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND | ||
NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE | ||
LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION | ||
OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION | ||
WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE. | ||
|
||
A few individual files in Pintos were originally derived from other | ||
projects, but they have been extensively modified for use in Pintos. | ||
The original code falls under the original license, and modifications | ||
for Pintos are additionally covered by the Pintos license above. | ||
|
||
In particular, code derived from Nachos is subject to the following | ||
license: | ||
|
||
/* Copyright (c) 1992-1996 The Regents of the University of California. | ||
All rights reserved. | ||
|
||
Permission to use, copy, modify, and distribute this software | ||
and its documentation for any purpose, without fee, and | ||
without written agreement is hereby granted, provided that the | ||
above copyright notice and the following two paragraphs appear | ||
in all copies of this software. | ||
|
||
IN NO EVENT SHALL THE UNIVERSITY OF CALIFORNIA BE LIABLE TO | ||
ANY PARTY FOR DIRECT, INDIRECT, SPECIAL, INCIDENTAL, OR | ||
CONSEQUENTIAL DAMAGES ARISING OUT OF THE USE OF THIS SOFTWARE | ||
AND ITS DOCUMENTATION, EVEN IF THE UNIVERSITY OF CALIFORNIA | ||
HAS BEEN ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. | ||
|
||
THE UNIVERSITY OF CALIFORNIA SPECIFICALLY DISCLAIMS ANY | ||
WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED | ||
WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR | ||
PURPOSE. THE SOFTWARE PROVIDED HEREUNDER IS ON AN "AS IS" | ||
BASIS, AND THE UNIVERSITY OF CALIFORNIA HAS NO OBLIGATION TO | ||
PROVIDE MAINTENANCE, SUPPORT, UPDATES, ENHANCEMENTS, OR | ||
MODIFICATIONS. | ||
*/ |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,13 @@ | ||
CLEAN_SUBDIRS = src doc tests | ||
|
||
all:: | ||
@echo "This makefile has only 'clean' and 'check' targets." | ||
|
||
clean:: | ||
for d in $(CLEAN_SUBDIRS); do $(MAKE) -C $$d $@; done | ||
|
||
distclean:: clean | ||
find . -name '*~' -exec rm '{}' \; | ||
|
||
check:: | ||
make -C tests $@ |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,26 @@ | ||
*.aux | ||
*.cp | ||
*.dvi | ||
*.fn | ||
*.info* | ||
*.ky | ||
*.log | ||
*.pg | ||
*.toc | ||
*.tp | ||
*.vr | ||
/pintos-ic.fns | ||
/pintos-ic.tps | ||
/pintos-ic.vrs | ||
mlfqs1.pdf | ||
mlfqs1.png | ||
mlfqs2.pdf | ||
mlfqs2.png | ||
pintos-ic.html | ||
pintos-ic.pdf | ||
pintos-ic.ps | ||
pintos.text | ||
pintos-ic_*.html | ||
projects.html | ||
sample.tmpl.texi | ||
task0_sheet.pdf |
Oops, something went wrong.