Further clean-ups and removals.

2 files changed, 18 insertions, 1 deletions

diff --git a/microkernel/mach/gnumach/hardwarecompatibilitylist.mdwn b/microkernel/mach/gnumach/hardwarecompatibilitylist.mdwn
index c3f59af1..078b5a31 100644
--- a/microkernel/mach/gnumach/hardwarecompatibilitylist.mdwn
+++ b/microkernel/mach/gnumach/hardwarecompatibilitylist.mdwn
@@ -24,7 +24,7 @@ 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|Hurd/xen]].
+only) is [[being_worked_on|xen]].
 
 # Memory
 
diff --git a/microkernel/mach/gnumach/xen.mdwn b/microkernel/mach/gnumach/xen.mdwn
new file mode 100644
index 00000000..3d70b4f6
--- /dev/null
+++ b/microkernel/mach/gnumach/xen.mdwn
@@ -0,0 +1,17 @@
+Note: since GNU Mach doesn't handle PAE, you need a PAE-disabled Hypervisor.
+
+- Copy `gnumach-xen` and `hurd-modules` to your dom0 /boot.
+- Copy `hurd` into `/etc/xen`, edit it for fixing access to your hurd / and swap
+- Run `xm create -c hurd`, gnumach should get started.
+- If `xm` complains about networking, it's Xen fault, see Xen documentation for how to configure the network. The simplest way is network-bridge with fixed IPs.
+
+If you want to generate these images, first get the `gnumach-1-branch-Xen-branch` branch from gnumach CVS.
+Then look for "Ugly" in `kern/bootstrap.c`, how to generate `hurd-modules` is explained there, and you'll have to fix `EXT2FS_SIZE` and `LD_SO_SIZE` by hand.
+Then use
+
+    ./configure --enable-platform=xen
+    make
+
+Instead, you can get the binaries at <http://dept-info.labri.fr/~thibault/hurd-xen/>.
+
+The current `hurd-modules` was built from the debian packages `hurd 20070606-2` and `libc0.3 2.6.1-1`.