diff options
Diffstat (limited to 'microkernel/mach/gnumach/ports')
| -rw-r--r-- | microkernel/mach/gnumach/ports/xen.mdwn | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/microkernel/mach/gnumach/ports/xen.mdwn b/microkernel/mach/gnumach/ports/xen.mdwn index 7b989de7..6c9577df 100644 --- a/microkernel/mach/gnumach/ports/xen.mdwn +++ b/microkernel/mach/gnumach/ports/xen.mdwn @@ -1,5 +1,9 @@ /!\ Since GNU Mach doesn't handle PAE yet, you'll need a PAE-disabled hypervisor. +This also means that you'll currently need a PAE-disabled `dom0`. +Stefan Siegl is providing a PAE-disabled Linux kernel image at <http://brokenpipe.de/GnuHurd/XEN/>. + + 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. |