diff options
| author | Thomas Schwinge <tschwinge@gnu.org> | 2007-09-03 15:26:03 +0200 |
|---|---|---|
| committer | Thomas Schwinge <tschwinge@gnu.org> | 2007-09-03 15:28:06 +0200 |
| commit | 855af9a0ee8d1bdebff882a62104134a71044dba (patch) | |
| tree | 00a93447c5c045df3cc69375de884e76b065ad4a /mach/tcb.mdwn | |
| parent | 94aafdb76706abe3c0d2f0f06c8f37fbcdb1056e (diff) | |
| download | web-855af9a0ee8d1bdebff882a62104134a71044dba.tar.gz web-855af9a0ee8d1bdebff882a62104134a71044dba.tar.bz2 web-855af9a0ee8d1bdebff882a62104134a71044dba.zip | |
Break up `Mach' and `Mig' hierarchies, merge them into `microkernel/mach/', `microkernel/mach/gnumach/', `microkernel/mach/mig/', and elsewhere.
Diffstat (limited to 'mach/tcb.mdwn')
| -rw-r--r-- | mach/tcb.mdwn | 24 |
1 files changed, 0 insertions, 24 deletions
diff --git a/mach/tcb.mdwn b/mach/tcb.mdwn deleted file mode 100644 index 841b85fa..00000000 --- a/mach/tcb.mdwn +++ /dev/null @@ -1,24 +0,0 @@ -[[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. |