From caa975febbbe6d5fbf9b5421467c268949c3b924 Mon Sep 17 00:00:00 2001 From: Ben Pfaff Date: Wed, 30 Mar 2005 06:11:08 +0000 Subject: [PATCH] Talk about license in intro to docs. --- doc/intro.texi | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) diff --git a/doc/intro.texi b/doc/intro.texi index 7bdd7e5..2897a3a 100644 --- a/doc/intro.texi +++ b/doc/intro.texi @@ -36,6 +36,7 @@ projects. @menu * Getting Started:: +* Pintos License:: * Pintos Trivia:: @end menu @@ -241,6 +242,23 @@ options. These options must be specified @emph{after} the but you can see a list of them using the @option{-u} option, e.g.@: @code{pintos run -u}. +@node Pintos License +@section Pintos License + +Pintos is distributed under a liberal license that allows it to be +freely used, modified, and distributed. Students and others own their +own code and may use it for any purpose. In the context of Stanford's +CS 140 course, please respect the spirit and the letter of the honor +code by refraining from reading any homework solutions available +online or elsewhere. (Source code for other operating system kernels, +such as Linux or FreeBSD, is of course fair game.) + +Please refer to the @file{LICENSE} file at the top level of the Pintos +source distribution for license details. + +There is NO WARRANTY for Pintos, not even for MERCHANTABILITY or +FITNESS FOR A PARTICULAR PURPOSE. + @node Pintos Trivia @section Pintos Trivia -- 2.30.2