summaryrefslogtreecommitdiff
path: root/microkernel
diff options
context:
space:
mode:
Diffstat (limited to 'microkernel')
-rw-r--r--microkernel/mach/gnumach/ports/xen.mdwn6
1 files changed, 3 insertions, 3 deletions
diff --git a/microkernel/mach/gnumach/ports/xen.mdwn b/microkernel/mach/gnumach/ports/xen.mdwn
index e044941e..7b989de7 100644
--- a/microkernel/mach/gnumach/ports/xen.mdwn
+++ b/microkernel/mach/gnumach/ports/xen.mdwn
@@ -1,4 +1,6 @@
-Note: since GNU Mach doesn't handle PAE, you need a PAE-disabled Hypervisor.
+/!\ Since GNU Mach doesn't handle PAE yet, you'll need a PAE-disabled hypervisor.
+
+You can either get binaries at <http://dept-info.labri.fr/~thibault/hurd-xen/> or build them yourself.
- 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
@@ -12,7 +14,5 @@ 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`.
/!\ This means that when using this image, your GNU/Hurd system also needs to be a glibc version 2.6-based one!