summaryrefslogtreecommitdiff
path: root/microkernel/mach/gnumach/ports
diff options
context:
space:
mode:
authorSamuel Thibault <samuel.thibault@ens-lyon.org>2009-03-28 19:50:11 +0100
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2009-03-28 19:50:11 +0100
commitd1f21683a056de6a8f7f8e81f3e985936ebd9553 (patch)
tree0a512462f596ee16e401173159bbd5b19adcc8ac /microkernel/mach/gnumach/ports
parent78f34606d2a04df4d484040611318f259ce26a03 (diff)
there are PAE images now
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 c492d9a0..68fd1638 100644
--- a/microkernel/mach/gnumach/ports/xen.mdwn
+++ b/microkernel/mach/gnumach/ports/xen.mdwn
@@ -16,7 +16,7 @@ is included in the section entitled
You can either get binaries at <http://youpibouh.thefreecat.org/hurd-xen/> or build them yourself.
-- Copy `gnumach-xen` and `hurd-modules` to your dom0 /boot.
+- Copy `gnumach-xen-pae` and `hurd-modules` to your dom0 /boot. If you still have a non-PAE hypervisor, use gnumach-xen-nonpae instead.
- Copy `hurd` into `/etc/xen`, edit it for fixing access to your hurd / and swap
## GNU/Hurd system
@@ -33,7 +33,7 @@ Replace /dev/sda4 with your partition. Install and use crosshurd to setup a GNU/
Here is a sample /etc/xen/hurd configuration
- kernel = "/boot/gnumach-xen"
+ kernel = "/boot/gnumach-xen-pae"
memory = 256
disk = ['phy:sda4,hda,w']
extra = "root=device:hd0"
@@ -69,7 +69,7 @@ Then use
make
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!
+/!\ This means that when using this image, your GNU/Hurd system also needs to be a glibc version 2.6 or later-based one!
---