summaryrefslogtreecommitdiff
path: root/microkernel/mach/gnumach/ports
diff options
context:
space:
mode:
authorGNU Hurd wiki engine <web-hurd@gnu.org>2007-10-03 13:27:35 +0000
committerGNU Hurd wiki engine <web-hurd@gnu.org>2007-10-03 13:27:35 +0000
commit496890f58e71fd8772045198cadb9b6e8f1fd21e (patch)
tree7016f104e8ebe8eb1a91511f9fb56dc4032a11fb /microkernel/mach/gnumach/ports
parent8b197fae7b7bb3bcb8cfe1c302e42ccd4e14097d (diff)
web commit by tschwinge: Move link to the top.
Diffstat (limited to 'microkernel/mach/gnumach/ports')
-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!