The port to Xen is a port.

4 files changed, 6 insertions, 2 deletions

diff --git a/hurd/running.mdwn b/hurd/running.mdwn
index 2be73078..82b11b53 100644
--- a/hurd/running.mdwn
+++ b/hurd/running.mdwn
@@ -7,7 +7,7 @@ is included in the section entitled
 [[GNU_Free_Documentation_License|/fdl.txt]]."]]
 
 * [[Distrib]] - Distributions based on the Hurd
-* [[microkernel/mach/gnumach/Xen]] - In Xen
+* [[microkernel/mach/gnumach/ports/Xen]] - In Xen
 * [[LiveCD]] - Live CDs
 * [[QEMU]] - In QEMU
 * [[FlashHurd]] - From a flash stick
diff --git a/microkernel/mach/gnumach/hardwarecompatibilitylist.mdwn b/microkernel/mach/gnumach/hardwarecompatibilitylist.mdwn
index e9e5bd87..e0e7e4ea 100644
--- a/microkernel/mach/gnumach/hardwarecompatibilitylist.mdwn
+++ b/microkernel/mach/gnumach/hardwarecompatibilitylist.mdwn
@@ -15,7 +15,9 @@ on such a system won't succeed.
 
 Support for running GNU Mach (and a complete GNU/Hurd system) in a
 [Xen](http://www.cl.cam.ac.uk/research/srg/netos/xen/) `domU` (again on `x86`
-only) is [[being_worked_on|xen]].
+only) is [[being_worked_on|ports/xen]].
+
+Read about further [[ports]].
 
 # Memory
 
diff --git a/microkernel/mach/gnumach/ports.mdwn b/microkernel/mach/gnumach/ports.mdwn
index 1aeb23f2..47967d65 100644
--- a/microkernel/mach/gnumach/ports.mdwn
+++ b/microkernel/mach/gnumach/ports.mdwn
@@ -8,3 +8,5 @@ is included in the section entitled
 
 * [PowerPC](http://www.pjbruin.dds.nl/hurd/).  Is not in a usable state.
 * Alpha.  Was once started, but isn't in a usable state either.
+
+* [[Xen]]
diff --git a/microkernel/mach/gnumach/xen.mdwn b/microkernel/mach/gnumach/ports/xen.mdwn
index 3d70b4f6..3d70b4f6 100644
--- a/microkernel/mach/gnumach/xen.mdwn
+++ b/microkernel/mach/gnumach/ports/xen.mdwn