Copyright is assigned to the FSF.

3 files changed, 54 insertions, 3 deletions

diff --git a/Mach/mach/documentation.mdwn b/Mach/mach/documentation.mdwn
index 542ad85f..bb91313c 100644
--- a/Mach/mach/documentation.mdwn
+++ b/Mach/mach/documentation.mdwn
@@ -1,2 +1,19 @@
+[[license text="""
+Copyright © 2007 Free Software Foundation, Inc.
+
+Permission is granted to copy, distribute and/or modify this document under the
+terms of the GNU Free Documentation License, Version 1.2 or any later version
+published by the Free Software Foundation; with no Invariant Sections, no
+Front-Cover Texts, and no Back-Cover Texts.  A copy of the license is included
+in the section entitled [[GNU_Free_Documentation_License|/fdl.txt]].
+
+By contributing to this page, you agree to assign copyright for your
+contribution to the Free Software Foundation.  The Free Software Foundation
+promises to always use either a verbatim copying license or a free
+documentation license when publishing your contribution.  We grant you back all
+your rights under copyright, including the rights to copy, modify, and
+redistribute your contributions.
+"""]]
+
 - OSF's [Kernel Interface](ftp://ftp.cs.cmu.edu/afs/cs/project/mach/public/doc/osf/kernel_interface.ps)
-- OSF's [Kernel Principles](ftp://ftp.cs.cmu.edu/afs/cs/project/mach/public/doc/osf/kernel_principles.ps)
\ No newline at end of file
+- OSF's [Kernel Principles](ftp://ftp.cs.cmu.edu/afs/cs/project/mach/public/doc/osf/kernel_principles.ps)
diff --git a/Mach/mach/ipc.mdwn b/Mach/mach/ipc.mdwn
index 42cfacdf..68fa9d0e 100644
--- a/Mach/mach/ipc.mdwn
+++ b/Mach/mach/ipc.mdwn
@@ -1,3 +1,20 @@
+[[license text="""
+Copyright © 2007 Free Software Foundation, Inc.
+
+Permission is granted to copy, distribute and/or modify this document under the
+terms of the GNU Free Documentation License, Version 1.2 or any later version
+published by the Free Software Foundation; with no Invariant Sections, no
+Front-Cover Texts, and no Back-Cover Texts.  A copy of the license is included
+in the section entitled [[GNU_Free_Documentation_License|/fdl.txt]].
+
+By contributing to this page, you agree to assign copyright for your
+contribution to the Free Software Foundation.  The Free Software Foundation
+promises to always use either a verbatim copying license or a free
+documentation license when publishing your contribution.  We grant you back all
+your rights under copyright, including the rights to copy, modify, and
+redistribute your contributions.
+"""]]
+
 An IPC is sent by invoking a [[Mach/Port]].
 
-[The Unofficial GNU Mach IPC beginner's guide](http://www.nongnu.org/hurdextras/ipc_guide/ipc_guide.html)
\ No newline at end of file
+[The Unofficial GNU Mach IPC beginner's guide](http://www.nongnu.org/hurdextras/ipc_guide/ipc_guide.html)
diff --git a/Mach/mach/ports.mdwn b/Mach/mach/ports.mdwn
index 54cc12ac..47ef427a 100644
--- a/Mach/mach/ports.mdwn
+++ b/Mach/mach/ports.mdwn
@@ -1,3 +1,20 @@
+[[license text="""
+Copyright © 2007 Free Software Foundation, Inc.
+
+Permission is granted to copy, distribute and/or modify this document under the
+terms of the GNU Free Documentation License, Version 1.2 or any later version
+published by the Free Software Foundation; with no Invariant Sections, no
+Front-Cover Texts, and no Back-Cover Texts.  A copy of the license is included
+in the section entitled [[GNU_Free_Documentation_License|/fdl.txt]].
+
+By contributing to this page, you agree to assign copyright for your
+contribution to the Free Software Foundation.  The Free Software Foundation
+promises to always use either a verbatim copying license or a free
+documentation license when publishing your contribution.  We grant you back all
+your rights under copyright, including the rights to copy, modify, and
+redistribute your contributions.
+"""]]
+
 Mach ports are [[capabilities]].
 
 A Mach port is a kernel queue.  Each port has associated with
@@ -28,4 +45,4 @@ A thread can only block receiving on a single port.  To work
 around this, the concept of a port set was introduced.  A receive
 right can be added to (at most) one port set.  When a thread
 receives from a port set, it dequeues from any of the ports that
-has a message available.
\ No newline at end of file
+has a message available.