diff options
| author | Thomas Schwinge <tschwinge@gnu.org> | 2007-08-30 17:27:56 +0200 |
|---|---|---|
| committer | Thomas Schwinge <tschwinge@gnu.org> | 2007-08-30 17:35:51 +0200 |
| commit | d4e746813a849a1bb3bfe77e00f1b82943746397 (patch) | |
| tree | cad09a36c7dbdacc9bda6327fe2456563f3ad3a2 /mach | |
| parent | 78b0c662110770b7b604d7a2b2250951866e8a57 (diff) | |
Copyright is assigned to the FSF.
Diffstat (limited to 'mach')
| -rw-r--r-- | mach/externalpagermechanism.mdwn | 18 | ||||
| -rw-r--r-- | mach/tcb.mdwn | 19 |
2 files changed, 35 insertions, 2 deletions
diff --git a/mach/externalpagermechanism.mdwn b/mach/externalpagermechanism.mdwn index 91907131..cdd25040 100644 --- a/mach/externalpagermechanism.mdwn +++ b/mach/externalpagermechanism.mdwn @@ -1,3 +1,20 @@ +[[license text=""" +Copyright © 2002, 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 provides a so-called external pager [[mechanism]]. This mechanism serves to separate *managing memory* from *managing content*. Mach does the former while user space tasks do the @@ -170,4 +187,3 @@ fashion. The server is not required to send a response to the kernel. (D) The manager then transfers the data to the storeio which eventually sends it to disk. The device driver consumes the memory doing the equivalent of a vm_deallocate. - 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. |