path: root/microkernel/mach/gnumach/ports/xen.mdwn
diff options
authorThomas Schwinge <>2007-10-03 14:28:30 +0200
committerThomas Schwinge <>2007-10-03 14:28:30 +0200
commitbca93c85250dab863296780abf55c7105388fac4 (patch)
tree980ced87084085b4309027a905dc7292a0afc017 /microkernel/mach/gnumach/ports/xen.mdwn
parent34d39e6473d5d893141f386aedbd3688f1e26063 (diff)
The port to Xen is a port.
Diffstat (limited to 'microkernel/mach/gnumach/ports/xen.mdwn')
1 files changed, 17 insertions, 0 deletions
diff --git a/microkernel/mach/gnumach/ports/xen.mdwn b/microkernel/mach/gnumach/ports/xen.mdwn
new file mode 100644
index 0000000..3d70b4f
--- /dev/null
+++ b/microkernel/mach/gnumach/ports/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 <>.
+The current `hurd-modules` was built from the debian packages `hurd 20070606-2` and `libc0.3 2.6.1-1`.