summaryrefslogtreecommitdiff
path: root/microkernel
diff options
context:
space:
mode:
authorThomas Schwinge <tschwinge@gnu.org>2007-10-06 22:36:20 +0200
committerThomas Schwinge <tschwinge@gnu.org>2007-10-06 22:36:20 +0200
commit93d0008eb7510e8c1e0583d20bb331fc87475ba9 (patch)
tree75cb3e159f6ec9290b03ab62ce4007f60cf2f1b0 /microkernel
parent6025939937760b7c9de2b5e5448adc2b3d777d65 (diff)
Fix links to stesie's user page.
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.