diff options
| author | Thomas Schwinge <tschwinge@gnu.org> | 2009-05-18 16:17:01 +0200 |
|---|---|---|
| committer | Thomas Schwinge <tschwinge@gnu.org> | 2009-05-18 16:35:11 +0200 |
| commit | 88ce1e5f9fddfe35c5f980ce5c6242b74a3d1527 (patch) | |
| tree | b280e1a662030bca45cbe5c5ba2b022006215c88 /microkernel/faq | |
| parent | cd07c455881d6860397d1da1115336d91082c3fd (diff) | |
Prefix directives.
Diffstat (limited to 'microkernel/faq')
| -rw-r--r-- | microkernel/faq/multiserver_microkernel.mdwn | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/microkernel/faq/multiserver_microkernel.mdwn b/microkernel/faq/multiserver_microkernel.mdwn index 68ed332c..e42c4887 100644 --- a/microkernel/faq/multiserver_microkernel.mdwn +++ b/microkernel/faq/multiserver_microkernel.mdwn @@ -1,7 +1,7 @@ -[[meta copyright="Copyright © 2001, 2002, 2003, 2004, 2005, 2008 Free Software +[[!meta copyright="Copyright © 2001, 2002, 2003, 2004, 2005, 2008 Free Software Foundation, Inc."]] -[[meta license="""[[toggle id="license" text="GFDL 1.2+"]][[toggleable +[[!meta license="""[[!toggle id="license" text="GFDL 1.2+"]][[!toggleable id="license" text="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 @@ -9,7 +9,7 @@ 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]]."]]"""]] -[[meta title="What is a Multiserver Microkernel?"]] +[[!meta title="What is a Multiserver Microkernel?"]] A Microkernel has nothing to do with the size of the kernel. Rather, it refers to the functionality that the kernel provides. It is generally agreed that |