Revert "microkernel/mach/gnumach -> microkernel/mach/gnu_mach"

This reverts commit ae9e4e22a7ce8b2b56e98ff1708c2e8d42eefd69.  I've changed my
mind again.  Also resolve conflicts and adapt all new uses of the path.

1 files changed, 3 insertions, 3 deletions

diff --git a/community/gsoc/project_ideas.mdwn b/community/gsoc/project_ideas.mdwn
index 8f2fe385..c4b665b7 100644
--- a/community/gsoc/project_ideas.mdwn
+++ b/community/gsoc/project_ideas.mdwn
@@ -340,7 +340,7 @@ GSoC 2008. He is still working on some outstanding issues.
 
 Although a driver framework in userspace would be desirable, presently the Hurd
 uses kernel drivers in the microkernel,
-[[microkernel/mach/GNU_Mach]]. (And changing this would be far beyond a
+[[GNU_Mach|microkernel/mach/gnumach]]. (And changing this would be far beyond a
 GSoC project...)
 
 The problem is that the drivers in GNU Mach are presently old Linux drivers
@@ -590,7 +590,7 @@ pthreads.
 
 The Hurd presently has no sound support.  Fixing this, [[GNU_Savannah_task
 5485]], requires two steps: the first is to port some other kernel's drivers to
-[[microkernel/mach/GNU_Mach]] so we can get access to actual sound
+[[GNU_Mach|microkernel/mach/gnumach]] so we can get access to actual sound
 hardware.  The second is to implement a userspace server ([[hurd/translator]]),
 that implements an interface on top of the kernel device that can be used by
 applications -- probably OSS or maybe ALSA.
@@ -741,7 +741,7 @@ directories and attaching other translators.
 
 Although there are some attempts to move to a more modern microkernel
 alltogether, the current Hurd implementation is based on
-[[microkernel/mach/GNU_Mach]], which is only a slightly modified
+[[GNU_Mach|microkernel/mach/gnumach]], which is only a slightly modified
 variant of the original CMU [[microkernel/Mach]].
 
 Unfortunately, Mach was created about two decades ago, and is in turn based on