summaryrefslogtreecommitdiff
path: root/mach/tcb.mdwn
diff options
context:
space:
mode:
Diffstat (limited to 'mach/tcb.mdwn')
-rw-r--r--mach/tcb.mdwn19
1 files changed, 18 insertions, 1 deletions
diff --git a/mach/tcb.mdwn b/mach/tcb.mdwn
index fa669174..841b85fa 100644
--- a/mach/tcb.mdwn
+++ b/mach/tcb.mdwn
@@ -1,7 +1,24 @@
+[[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.
+"""]]
+
TCB stands for trusted computed base. Unqualified, the trusted
computing base referrers to the set of components programs
must [[trust]] to function correctly. On multiserver systems,
it is sometimes more appropriate to speak of the trusted computing
base of a particular program: as components are much less connected,
one program's trusted computing base may be significantly different
-from another's. \ No newline at end of file
+from another's.