summaryrefslogtreecommitdiff
path: root/microkernel
diff options
context:
space:
mode:
Diffstat (limited to 'microkernel')
-rw-r--r--microkernel/mach/gnumach/ports/xen.mdwn3
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.