diff options
Diffstat (limited to 'microkernel')
| -rw-r--r-- | microkernel/mach/gnumach/ports/xen.mdwn | 6 |
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! |