.

1 files changed, 24 insertions, 9 deletions

diff --git a/microkernel/mach/gnumach/ports/xen.mdwn b/microkernel/mach/gnumach/ports/xen.mdwn
index 5d33a8d0..47a7804b 100644
--- a/microkernel/mach/gnumach/ports/xen.mdwn
+++ b/microkernel/mach/gnumach/ports/xen.mdwn
@@ -8,18 +8,12 @@ Sections, no Front-Cover Texts, and no Back-Cover Texts.  A copy of the license
 is included in the section entitled
 [[GNU_Free_Documentation_License|/fdl]]."]]"""]]
 
+## Xen dom0, PAE-disabled hypervisor
+
 /!\ Since GNU Mach doesn't handle PAE yet, you'll need a PAE-disabled hypervisor.
 
 On Debian Lenny, for example, you can install xen-hypervisor-3.2-1-i386-nonpae.
 
-/!\ You need an already installed GNU/Hurd system.
-
-If you have a free partition, you can fdisk to type 0x83, create a filesystem using:
-
-    sudo mke2fs -b 4096 -I 128 -o hurd /dev/sda4 
-
-Replace /dev/sda4 with your partition. Install and use crosshurd to setup a GNU/Hurd system on this partition.
-
 This also means that you'll currently need a PAE-disabled `dom0`.
 [[Stefan_Siegl|stesie]] is providing a PAE-disabled Linux kernel image at
 <http://brokenpipe.de/GnuHurd/XEN/>.
@@ -29,6 +23,18 @@ You can either get binaries at <http://youpibouh.thefreecat.org/hurd-xen/> or bu
 - 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
 
+## GNU/Hurd system
+
+/!\ You need an already installed GNU/Hurd system.
+
+If you have a free partition, you can fdisk to type 0x83, create a filesystem using:
+
+    sudo mke2fs -b 4096 -I 128 -o hurd /dev/sda4 
+
+Replace /dev/sda4 with your partition. Install and use crosshurd to setup a GNU/Hurd system on this partition.
+
+## /etc/xen/hurd configuration
+
 Here is a sample /etc/xen/hurd configuration
 
     kernel = "/boot/gnumach-xen"
@@ -38,10 +44,19 @@ Here is a sample /etc/xen/hurd configuration
     vif = [ '' ]
     ramdisk = "/boot/hurd-modules"
 
-- Run `xm create -c hurd`, gnumach should get started.
+## Running Hurd with Xen
+
+To run Hurd with Xen, use:
+
+    xm create -c hurd
+
+and gnumach should get started.
+
 - If `xm` complains about networking (`vif could not be connected`), it's Xen scripts' fault, see Xen documentation for how to configure the network.  The simplest way is network-bridge with fixed IPs (note that you need the bridge-utils package for this).  You can also just disable networking by commenting the vif line in the config.
 - If `xm` complains `Error: (2, 'Invalid kernel', 'xc_dom_compat_check: guest type xen-3.0-x86_32 not supported by xen kernel, sorry\n')`, you most probably have a PAE-enabled hypervisor, and you just need to install and boot non-PAE hypervisor and kernel.
 
+## Building from sources
+
 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