summaryrefslogtreecommitdiff
path: root/microkernel
diff options
context:
space:
mode:
authorThomas Schwinge <tschwinge@gnu.org>2008-03-31 16:34:36 +0200
committerThomas Schwinge <tschwinge@gnu.org>2008-03-31 16:34:36 +0200
commit36a02056b199376e6b1e7b35b12da85e14eb4417 (patch)
tree36c2bf71315eec289e372fa01d97b584d6b2c756 /microkernel
parentce2cdc4d2052d4455c1ac4bca03c00368ff72205 (diff)
Link to the Mach page more obviously.
Diffstat (limited to 'microkernel')
-rw-r--r--microkernel/mach/gnumach.mdwn2
1 files changed, 1 insertions, 1 deletions
diff --git a/microkernel/mach/gnumach.mdwn b/microkernel/mach/gnumach.mdwn
index 8da22938..71681eed 100644
--- a/microkernel/mach/gnumach.mdwn
+++ b/microkernel/mach/gnumach.mdwn
@@ -10,7 +10,7 @@ is included in the section entitled
GNU Mach is currently used by the GNU [[Hurd]].
-GNU Mach remains compatible with Mach 3.0.
+GNU Mach remains compatible with [[Mach]] 3.0.
The majority of GNU Mach's [[device_driver]]s are from Linux 2.0. They were
added using glue code, i.e., a Linux [[emulation]] layer in Mach.