summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--contributing.mdwn8
-rw-r--r--hurd/building/cross-compiling.mdwn2
-rw-r--r--microkernel/mach.mdwn2
-rw-r--r--microkernel/mach/gnu_mach/building.mdwn2
-rw-r--r--microkernel/mach/mig.mdwn12
-rw-r--r--microkernel/mach/mig/discussion.mdwn17
-rw-r--r--microkernel/mach/mig/gnu_mig.mdwn24
-rw-r--r--microkernel/mach/mig/gnu_mig/building.mdwn (renamed from microkernel/mach/mig/building.mdwn)5
-rw-r--r--microkernel/mach/mig/gnu_mig/open_issues.mdwn (renamed from microkernel/mach/mig/open_issues.mdwn)5
-rw-r--r--microkernel/mach/mig/gnu_mig/open_issues/duplicate_inclusion_guards.mdwn (renamed from microkernel/mach/mig/open_issues/duplicate_inclusion_guards.mdwn)0
-rw-r--r--mig-download.html167
-rw-r--r--mig.html125
-rw-r--r--sidebar.mdwn28
13 files changed, 58 insertions, 339 deletions
diff --git a/contributing.mdwn b/contributing.mdwn
index f21a6f32..698d03b3 100644
--- a/contributing.mdwn
+++ b/contributing.mdwn
@@ -80,17 +80,17 @@ doesn't work or suit you and try to improve that.
### Open Issues: GNU Hurd
-Here is a [[list_of_open_issues|hurd/Open_Issues]] for the [[GNU_Hurd|hurd]].
+Here is a [[list_of_open_issues|hurd/open_issues]] for the [[GNU_Hurd|hurd]].
### Open Issues: GNU Mach
-Here is a [[list_of_open_issues|microkernel/mach/gnu_mach/Open_Issues]] for
+Here is a [[list_of_open_issues|microkernel/mach/gnu_mach/open_issues]] for
[[microkernel/mach/GNU_Mach]].
### Open Issues: GNU MIG
-Here is a [[list_of_open_issues|microkernel/mach/mig/Open_Issues]] for
-[[GNU_MIG|microkernel/mach/mig]].
+Here is a [[list_of_open_issues|microkernel/mach/mig/gnu_mig/open_issues]] for
+[[microkernel/mach/mig/GNU_MIG]].
<a name="hurd_on_modern_microkernel"> </a>
diff --git a/hurd/building/cross-compiling.mdwn b/hurd/building/cross-compiling.mdwn
index 31722ead..e548c75c 100644
--- a/hurd/building/cross-compiling.mdwn
+++ b/hurd/building/cross-compiling.mdwn
@@ -110,7 +110,7 @@ guarantee is given. Always the preferred version is listed first.
$ ( cd gnumach-1-branch/ && autoreconf -vfi )
-* `src/mig`: [[GNU_Mach_Interface_Generator|microkernel/mach/mig]]
+* `src/mig`: [[microkernel/mach/mig/GNU_MIG]]
* CVS `HEAD`
diff --git a/microkernel/mach.mdwn b/microkernel/mach.mdwn
index 594a74f9..9d3289b4 100644
--- a/microkernel/mach.mdwn
+++ b/microkernel/mach.mdwn
@@ -13,4 +13,4 @@ microkernel currently used by the [[Hurd]].
# Related
-* [[Mach_Interface_Generator|mig]]
+* [[Mach_Interface_Generator_(MIG)|mig]]
diff --git a/microkernel/mach/gnu_mach/building.mdwn b/microkernel/mach/gnu_mach/building.mdwn
index ef0d8553..073c68a3 100644
--- a/microkernel/mach/gnu_mach/building.mdwn
+++ b/microkernel/mach/gnu_mach/building.mdwn
@@ -47,7 +47,7 @@ package:
Apart from the case that you only want to install GNU Mach's header files (see
below), building GNU Mach requires you to have the Mach Interface Generator
-installed. See [[building_MIG|mig/building]] about how to do that, then come
+installed. See [[building_MIG|mig/gnu_mig/building]] about how to do that, then come
back here.
Additionally, building GNU Mach requires a C compiler, a standard C library and
diff --git a/microkernel/mach/mig.mdwn b/microkernel/mach/mig.mdwn
index 5f09621d..eb1c0906 100644
--- a/microkernel/mach/mig.mdwn
+++ b/microkernel/mach/mig.mdwn
@@ -12,11 +12,11 @@ is included in the section entitled
The Mach Interface Generator (MIG) is an [[IDL]] compiler. Based on an
interface definition, it creates stubs to [[invoke]] object methods
and to demultiplex incoming messages. These stubs conveniently hide
-the details of Mach's [[IPC]] machinery.
+the details of Mach's [[IPC]] machinery and make it easy to implement
+and use Mach [[interface]]s as [[remote_procedure_calls_(RPC)|rpc]].
-GNU MIG is fully compatible with OSF MIG.
-
-* MIG's [homepage](http://www.gnu.org/software/hurd/mig.html)
* [[Documentation]]
-* [[Building]] - Building (and obtaining) MIG
-* [[Open_Issues]]
+
+# Implementations
+
+ * [[GNU_MIG]]
diff --git a/microkernel/mach/mig/discussion.mdwn b/microkernel/mach/mig/discussion.mdwn
deleted file mode 100644
index fdab3a45..00000000
--- a/microkernel/mach/mig/discussion.mdwn
+++ /dev/null
@@ -1,17 +0,0 @@
-Created
-
--- [[Main/JoachimNilsson]] - 29 Oct 2002
-
-The logo seems very programmer friendly as this web topic is intended.
-
--- [[Main/GrantBow]] - 15 Nov 2002
-
-There's little traffic here and little content. Perhaps we should just remove this web? It seemed like a good idea to create it when we split the others off...
-
--- [[Main/GrantBow]] - 22 Dec 2002
-
-Maybe, but not yet. Let's keep it for a while longer - say, three months. 1st April 2003. If the traffic still is low then we move the Mig topics to the Mach web ...
-
-...Mig = **Mach** Interface Generator.
-
--- [[Main/JoachimNilsson]] - 22 Dec 2002
diff --git a/microkernel/mach/mig/gnu_mig.mdwn b/microkernel/mach/mig/gnu_mig.mdwn
new file mode 100644
index 00000000..4f5fb5c8
--- /dev/null
+++ b/microkernel/mach/mig/gnu_mig.mdwn
@@ -0,0 +1,24 @@
+[[meta copyright="Copyright © 2001, 2006, 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]]."]]"""]]
+
+GNU MIG is the GNU distribution of the
+[[Mach_3.0_interface_generator_*MIG*|mig]], as maintained by the GNU Hurd
+developers for the GNU project.
+
+You need this tool to compile the GNU Mach and GNU Hurd distributions, and to
+compile the GNU C library for the Hurd. Also, you will need it for other
+software in the GNU system that uses Mach-based
+[[inter-process_communication|ipc]].
+
+GNU MIG is fully compatible with [[OSF_MIG|mig]].
+
+ * [[Building]] - building (and obtaining) GNU MIG
+ * [[Open_Issues]]
diff --git a/microkernel/mach/mig/building.mdwn b/microkernel/mach/mig/gnu_mig/building.mdwn
index 2ec75e38..8b553b6b 100644
--- a/microkernel/mach/mig/building.mdwn
+++ b/microkernel/mach/mig/gnu_mig/building.mdwn
@@ -4,7 +4,8 @@ If you want to build the Mach Interface Generator yourself instead of just using
## <a name="Getting_the_Source_Code"> Getting the Source Code </a>
-You can chose between getting the [sources from the developers's rcs](http://www.gnu.org/software/hurd/mig-download.html#cvs):
+You can chose between getting the [sources from the developers'
+RCS](http://savannah.gnu.org/cvs/?group=hurd):
$ cvs -z3 -d:pserver:anonymous@cvs.savannah.gnu.org:/sources/hurd co mig
@@ -12,7 +13,7 @@ You can chose between getting the [sources from the developers's rcs](http://www
$ apt-get source mig
-Please see the Debian [[running/debian/FAQ]] before using _apt-get source_.
+Please see the Debian [[hurd/running/debian/FAQ]] before using _apt-get source_.
The unpacked source tree is around 1 MiB, and the build tree also is around 1 MiB.
diff --git a/microkernel/mach/mig/open_issues.mdwn b/microkernel/mach/mig/gnu_mig/open_issues.mdwn
index 2d870695..7a6233da 100644
--- a/microkernel/mach/mig/open_issues.mdwn
+++ b/microkernel/mach/mig/gnu_mig/open_issues.mdwn
@@ -13,7 +13,8 @@ is included in the section entitled
This is a dumping ground for open issues for GNU MIG.
[[inline
-pages="microkernel/mach/mig/open_issues/* and !*/discussion"
+pages="microkernel/mach/mig/gnu_mig/open_issues/* and !*/discussion"
show=0
actions=yes
-rootpage="microkernel/mach/mig/open_issues" postformtext="Add a new item titled:"]]
+rootpage="microkernel/mach/mig/gnu_mig/open_issues"
+postformtext="Add a new item titled:"]]
diff --git a/microkernel/mach/mig/open_issues/duplicate_inclusion_guards.mdwn b/microkernel/mach/mig/gnu_mig/open_issues/duplicate_inclusion_guards.mdwn
index 93347759..93347759 100644
--- a/microkernel/mach/mig/open_issues/duplicate_inclusion_guards.mdwn
+++ b/microkernel/mach/mig/gnu_mig/open_issues/duplicate_inclusion_guards.mdwn
diff --git a/mig-download.html b/mig-download.html
deleted file mode 100644
index efbf1359..00000000
--- a/mig-download.html
+++ /dev/null
@@ -1,167 +0,0 @@
-<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0//EN"
- "http://www.w3.org/TR/REC-html40/strict.dtd">
-<HTML>
-<HEAD>
-<TITLE>The GNU&nbsp;Hurd - GNU Project - Free Software Foundation (FSF)</TITLE>
-<LINK REV="made" HREF="mailto:web-hurd@gnu.org">
-<META NAME="keywords" CONTENT="hurd">
-</HEAD>
-<BODY BGCOLOR="#FFFFFF" TEXT="#000000" LINK="#1F00FF" ALINK="#FF0000" VLINK="#9900DD">
-<TABLE width="100%" border="0" cellspacing="5" cellpadding="15">
-<TR>
-<TD COLSPAN="2">
-<IMG SRC="/graphics/hurd_sm_mf.jpg" ALT=" [image of the Hurd logo] ">
-[
-<!-- Please keep this list alphabetical -->
-<!-- PLEASE UPDATE THE LIST AT THE BOTTOM (OR TOP) OF THE PAGE TOO! -->
- <A HREF="/software/hurd/mig-download.html">English</A>
-| <a href="/software/hurd/mig-download.es.html">Spanish</a>
-]
-</TD>
-</TR>
-<TR>
-<TD ALIGN="LEFT" VALIGN="TOP" BGCOLOR="#eeeeee">
-<A HREF="/software/hurd/whatsnew.html"><STRONG>What's New</STRONG></A><BR>
-&nbsp;<BR>
-<A HREF="/software/hurd/changelogs.html">ChangeLogs</A><BR>
-&nbsp;<br>
-<a href="/software/hurd/docs.html">Documentation</a><br>
-<P>
-<A HREF="/software/hurd/hurd.html"><STRONG>GNU&nbsp;Hurd</STRONG></A><BR>
-&nbsp;<BR>
-<A HREF="/software/hurd/install.html">Installation</A><BR>
-<A HREF="/software/hurd/help.html">Getting&nbsp;Help</A><BR>
-<A HREF="/software/hurd/download.html">Source&nbsp;Code</A><BR>
-<A HREF="/software/hurd/devel.html">Development</A><BR>
-<A HREF="/software/hurd/history.html">History</A><BR>
-&nbsp;<BR>
-<A HREF="/software/hurd/gnumach.html"><STRONG>GNU&nbsp;Mach</STRONG></A><BR>
-&nbsp;<BR>
-<A HREF="/software/hurd/gnumach-install.html">Installation</A><BR>
-<A HREF="/software/hurd/gnumach-download.html">Source&nbsp;Code</A><BR>
-&nbsp;<BR>
-<A HREF="/software/hurd/mig.html"><STRONG>GNU&nbsp;MIG</STRONG></A><BR>
-&nbsp;<BR>
-<A HREF="/software/hurd/mig-download.html">Source&nbsp;Code</A><BR>
-&nbsp;<BR>
-<A HREF="/software/hurd/related-projects.html"><STRONG>Related&nbsp;Projects</STRONG></A>
-</TD>
-<TD ALIGN="LEFT" VALIGN="TOP">
-<HR>
-<H3><A NAME="contents">Table of Contents</A></H3>
-<UL>
- <LI><A HREF="#release" NAME="TOrelease">Latest Release</A>
- <LI><A HREF="#cvs" NAME="TOCcvs">CVS repository</A>
- <LI><A HREF="#cvsweb" NAME="TOCcvsweb">Browsing the code</A>
-</UL>
-<HR>
-
-<H3><A HREF="#TOCrelease" NAME="release">Latest Release</A></H3>
-<P>
-The latest release of MIG is version 1.3, 2002-03-08. However, it is
-recommended that you use the version in CVS instead, as we are only a few steps
-before we'll do another release from there.
-
-<!--
-It features:
-<UL>
-<LI>Minor bug fixes.</LI>
-<LI>The new keyword <CODE>retcode</CODE> is accepted as a parameter
-modifier. This does not do anything, but is accepted for
-compatibility with the MIG input syntax used with OSF Mach.</LI>
-<LI>The <CODE>debian/</CODE> subdirectory of packaging files is now
-included in the MIG source distribution.</LI>
-</UL>
-<P>
-You can download the latest version of MIG from the GNU ftp server:
-<UL>
-<LI><CODE><A
-HREF="http://ftp.gnu.org/gnu/mig/mig-1.3.tar.gz">mig-1.3.tar.gz</A></CODE>
-[145K].</LI>
-<LI><CODE><A
-HREF="http://ftp.gnu.org/gnu/mig/mig-1.3.tar.gz.sig">mig-1.3.tar.gz.sig</A></CODE>
-[1K].</LI>
-</UL>
--->
-
-<H3><A HREF="#TOCcvs" NAME="cvs">CVS repository</A></H3>
-<P>
-The MIG source code is managed in the version control system <A
-HREF="/software/cvs/cvs.html">CVS</A>. You can check out the CVS
-repository through anonymous CVS over SSH with the following
-instruction set. When prompted for a password for <I>anoncvs</I>,
-simply press the Enter key.
-
-<P>
-Source tree:
-&nbsp;<BR>
-<SAMP>cvs -z3 -d:pserver:anonymous@cvs.savannah.gnu.org:/sources/hurd co mig</SAMP>
-
-<P>Updates from within the module's directory do not need the -d parameter.
-
-<P>For the full details, read the <A
-href="https://savannah.gnu.org/cvs/?group=hurd">savannah</A> page.
-
-<H3><A HREF="#TOCcvsweb" NAME="cvsweb">Browsing the code</A></H3>
-<P>
-You can also browse the <A
-HREF="http://cvs.savannah.gnu.org/viewcvs/hurd/mig/">CVS
-repository of MIG</A> with your web browser. The web pages are
-generated dynamically at the time you request them and are always up
-to date.
-<P>
-There is also a <A
-HREF="http://www.htu.tugraz.at/~past/hurd/global/">cross referenced
-database</A> of the Hurd, GNU&nbsp;Mach, MIG, and the GNU C library sources
-online for you to browse. It provides better searching and browsing
-facilities than the online CVS repository, but it is not always up to
-date and does not contain history information.
-
-<P>
-<EM>Some of these links are at other web sites not maintained by the
-FSF. The FSF is not responsible for the content of these other web sites.</EM>
-</TD>
-</TR>
-</TABLE>
-
-<HR>
-
-[
-<!-- Please keep this list alphabetical -->
-<!-- PLEASE UPDATE THE LIST AT THE BOTTOM (OR TOP) OF THE PAGE TOO! -->
- <A HREF="/software/hurd/mig-download.html">English</A>
-| <a href="/software/hurd/mig-download.es.html">Spanish</a>
-]
-
-<HR>
-
-<P>
-Return to <A HREF="/home.html">GNU's home page</A>.
-<P>
-
-Please send FSF &amp; GNU inquiries &amp; questions to
-
-<A HREF="mailto:gnu@gnu.org"><EM>gnu@gnu.org</EM></A>.
-There are also <A HREF="/home.html#ContactInfo">other ways to
-contact</A> the FSF.
-<P>
-
-Please send comments on these web pages to
-
-<A HREF="mailto:web-hurd@gnu.org"><EM>web-hurd@gnu.org</EM></A>,
-send other questions to
-<A HREF="mailto:gnu@gnu.org"><EM>gnu@gnu.org</EM></A>.
-<P>
-Copyright (C) 2001, 2002, 2007 Free Software Foundation, Inc.,
-59 Temple Place - Suite 330, Boston, MA 02111, USA
-<P>
-Verbatim copying and distribution of this entire article is
-permitted in any medium, provided this notice is preserved.
-<P>
-Updated:
-<!-- timestamp start -->
-$Date$ $Author$
-<!-- timestamp end -->
-<HR>
-</BODY>
-</HTML>
diff --git a/mig.html b/mig.html
deleted file mode 100644
index 49e19a37..00000000
--- a/mig.html
+++ /dev/null
@@ -1,125 +0,0 @@
-<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0//EN"
- "http://www.w3.org/TR/REC-html40/strict.dtd">
-<HTML>
-<HEAD>
-<TITLE>The GNU&nbsp;Hurd - GNU Project - Free Software Foundation (FSF)</TITLE>
-<LINK REV="made" HREF="mailto:web-hurd@gnu.org">
-<META NAME="keywords" CONTENT="hurd">
-</HEAD>
-<BODY BGCOLOR="#FFFFFF" TEXT="#000000" LINK="#1F00FF" ALINK="#FF0000" VLINK="#9900DD">
-<TABLE width="100%" border="0" cellspacing="5" cellpadding="15">
-<TR>
-<TD COLSPAN="2">
-<IMG SRC="/graphics/hurd_sm_mf.jpg" ALT=" [image of the Hurd logo] ">
-[
-<!-- Please keep this list alphabetical -->
-<!-- PLEASE UPDATE THE LIST AT THE BOTTOM (OR TOP) OF THE PAGE TOO! -->
- <a href="/software/hurd/mig.html">en</a>
-| <a href="/software/hurd/mig.es.html">es</a>
-| <a href="/software/hurd/mig.he.html">he</a>
-| <a href="/software/hurd/mig.pl.html">pl</a>
-]
-</TD>
-</TR>
-<TR>
-<TD ALIGN="LEFT" VALIGN="TOP" BGCOLOR="#eeeeee">
-<A HREF="/software/hurd/whatsnew.html"><STRONG>What's New</STRONG></A><BR>
-&nbsp;<BR>
-<A HREF="/software/hurd/changelogs.html">ChangeLogs</A><BR>
-&nbsp;<br>
-<a href="/software/hurd/docs.html">Documentation</a><br>
-<P>
-<A HREF="/software/hurd/hurd.html"><STRONG>GNU&nbsp;Hurd</STRONG></A><BR>
-&nbsp;<BR>
-<A HREF="/software/hurd/install.html">Installation</A><BR>
-<A HREF="/software/hurd/help.html">Getting&nbsp;Help</A><BR>
-<A HREF="/software/hurd/download.html">Source&nbsp;Code</A><BR>
-<A HREF="/software/hurd/devel.html">Development</A><BR>
-<A HREF="/software/hurd/history.html">History</A><BR>
-&nbsp;<BR>
-<A HREF="/software/hurd/gnumach.html"><STRONG>GNU&nbsp;Mach</STRONG></A><BR>
-&nbsp;<BR>
-<A HREF="/software/hurd/gnumach-install.html">Installation</A><BR>
-<A HREF="/software/hurd/gnumach-download.html">Source&nbsp;Code</A><BR>
-&nbsp;<BR>
-<a href="/software/hurd/mig.html"><strong>GNU&nbsp;MIG</strong></a><br>
-&nbsp;<BR>
-<A HREF="/software/hurd/mig-download.html">Source&nbsp;Code</A><BR>
-&nbsp;<BR>
-<A HREF="/software/hurd/related-projects.html"><STRONG>Related&nbsp;Projects</STRONG></A>
-</TD>
-<TD ALIGN="LEFT" VALIGN="TOP">
-<HR>
-<P>
-<H3><A NAME="contents">Table of Contents</A></H3>
-<UL>
- <li><a href="#introduction" name="TOCintroduction">Introduction to MIG</a>
- <LI><A HREF="#status" NAME="TOCstatus">Status of the project</A>
-</UL>
-<P>
-<HR>
-
-<h3><a href="#TOCintroduction" name="introduction">Introduction to GNU&nbsp;MIG</a></h3>
-<p>
-GNU&nbsp;MIG is the GNU distribution of the Mach 3.0 interface generator `MIG', as
-maintained by the GNU&nbsp;Hurd developers for the GNU project.
-<p>
-The interface generator produces stub code from interface definition
-(<code>.defs</code>) files. The stub code makes it easy to implement
-and use Mach interfaces as remote procedure calls (RPC).
-<p>
-You need this tool to compile the GNU&nbsp;Mach and GNU&nbsp;Hurd distributions, and to
-compile the GNU C library for the Hurd. Also, you will need it for other
-software in the GNU system that uses Mach-based inter-process communication.
-
-<H3><A HREF="#TOCstatus" NAME="status">Status of the project</A></H3>
-<P>
-MIG 1.3 was released in March 2002, and features compatibility with
-OSF Mach.
-</TD>
-</TR>
-</TABLE>
-
-<HR>
-
-[
-<!-- Please keep this list alphabetical -->
-<!-- PLEASE UPDATE THE LIST AT THE BOTTOM (OR TOP) OF THE PAGE TOO! -->
- <a href="/software/hurd/mig.html">en</a>
-| <a href="/software/hurd/mig.es.html">es</a>
-| <a href="/software/hurd/mig.he.html">he</a>
-| <a href="/software/hurd/mig.pl.html">pl</a>
-]
-
-<HR>
-
-<P>
-Return to <A HREF="/home.html">GNU's home page</A>.
-<P>
-
-Please send FSF &amp; GNU inquiries &amp; questions to
-
-<A HREF="mailto:gnu@gnu.org"><EM>gnu@gnu.org</EM></A>.
-There are also <A HREF="/home.html#ContactInfo">other ways to
-contact</A> the FSF.
-<P>
-
-Please send comments on these web pages to
-
-<A HREF="mailto:web-hurd@gnu.org"><EM>web-hurd@gnu.org</EM></A>,
-send other questions to
-<A HREF="mailto:gnu@gnu.org"><EM>gnu@gnu.org</EM></A>.
-<P>
-Copyright (C) 2001, 2006 Free Software Foundation, Inc.,
-51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA.
-<P>
-Verbatim copying and distribution of this entire article is
-permitted in any medium, provided this notice is preserved.
-<P>
-Updated:
-<!-- timestamp start -->
-$Date$ $Author$
-<!-- timestamp end -->
-<HR>
-</BODY>
-</HTML>
diff --git a/sidebar.mdwn b/sidebar.mdwn
index a368c6c3..6a132e6d 100644
--- a/sidebar.mdwn
+++ b/sidebar.mdwn
@@ -11,25 +11,27 @@ is included in the section entitled
Welcome to... [[img hurd/logo/boxes-redrawn.png link=/hurd/logo]] ... the GNU
Hurd!
-* **[[Home|/index]]**
-* **[[Community]]**
-* **[[Documentation]]**
-* **[[Hurd/Getting_Help]]**
+ * **[[Home|/index]]**
+ * **[[Community]]**
+ * **[[Documentation]]**
+ * **[[Hurd/Getting_Help]]**
---
-* **[[Hurd]]**[[if test="destpage(hurd*)" then="
- * *[[Hurd/Documentation]]*
- * *[[hurd/Running]]*"]]
-* **[[microkernel/Mach]]**[[if test="destpage(microkernel/mach*)" then="
- * *[[microkernel/mach/GNU_Mach]]*
- * *[[microkernel/mach/Documentation]]*"]]
+ * **[[Hurd]]**[[if test="destpage(hurd*)" then="
+ * *[[Hurd/Documentation]]*
+ * *[[hurd/Running]]*"]]
+ * **[[microkernel/Mach]]**[[if test="destpage(microkernel/mach*)" then="
+ * *[[microkernel/mach/Documentation]]*
+ * *[[microkernel/mach/GNU_Mach]]*"]]
+ * *[[microkernel/mach/MIG]]*[[if test="destpage(microkernel/mach/mig*)" then="
+ * [[microkernel/mach/mig/GNU_MIG]]"]]
---
-* **[[Debian_GNU/Hurd|hurd/running/debian]]**
-* **[[GNU_system|hurd/running/gnu]]**
+ * **[[Debian_GNU/Hurd|hurd/running/debian]]**
+ * **[[GNU_system|hurd/running/gnu]]**
---
-* **[[HurdNG|hurd/ng]]**
+ * **[[HurdNG|hurd/ng]]**