From 23f5eca4e8359918f19ff95d25308d0be09ed7e2 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. --- TODO | 3 --- doc/intro.texi | 18 ++++++++++++++++++ 2 files changed, 18 insertions(+), 3 deletions(-) diff --git a/TODO b/TODO index 6090635..0d109c9 100644 --- a/TODO +++ b/TODO @@ -9,9 +9,6 @@ - How about `diff' and `cmp' programs? -* Make it clear that the students own their code, because there was some - confusion on that point. - * Threads: - join-invalid doesn't compile if tid_t is not scalar type. 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