summaryrefslogtreecommitdiff
path: root/microkernel/mach
diff options
context:
space:
mode:
Diffstat (limited to 'microkernel/mach')
-rw-r--r--microkernel/mach/mig/dealloc.mdwn11
-rw-r--r--microkernel/mach/mig/documentation.mdwn5
2 files changed, 14 insertions, 2 deletions
diff --git a/microkernel/mach/mig/dealloc.mdwn b/microkernel/mach/mig/dealloc.mdwn
new file mode 100644
index 00000000..1ed9d52b
--- /dev/null
+++ b/microkernel/mach/mig/dealloc.mdwn
@@ -0,0 +1,11 @@
+[[meta copyright="Copyright © 2008 Free Software Foundation, Inc."]]
+
+[[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
+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 redir=documentation#dealloc]]
diff --git a/microkernel/mach/mig/documentation.mdwn b/microkernel/mach/mig/documentation.mdwn
index 2998008d..8c977e55 100644
--- a/microkernel/mach/mig/documentation.mdwn
+++ b/microkernel/mach/mig/documentation.mdwn
@@ -70,7 +70,8 @@ pp. 67--77."
Manual](http://www.gnu.org/software/hurd/docs.html#manuals), espacially
[Chapter 4, Inter Process
Communication](http://www.gnu.org/software/hurd/gnumach-doc/Inter-Process-Communication.html),
- which, for example, explains how the `dealloc` flag works in [Chapter
- 4.2.4, Memory](http://www.gnu.org/software/hurd/gnumach-doc/Memory.html)
+ which, for example, explains how the <a name="dealloc">`dealloc` flag</a>
+ works in [Chapter 4.2.4,
+ Memory](http://www.gnu.org/software/hurd/gnumach-doc/Memory.html)
* MIG *in action*: [[hurd/io_path]].