diff options
Diffstat (limited to 'microkernel')
| -rw-r--r-- | microkernel/mach/gnumach/ports/xen.mdwn | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/microkernel/mach/gnumach/ports/xen.mdwn b/microkernel/mach/gnumach/ports/xen.mdwn index 6c9577df..c20b6a09 100644 --- a/microkernel/mach/gnumach/ports/xen.mdwn +++ b/microkernel/mach/gnumach/ports/xen.mdwn @@ -1,7 +1,8 @@ /!\ 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/>. +[[Stefan_Siegl|stesie]] 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. |