path: root/microkernel/mach/gnumach/ports/xen.mdwn
diff options
authorThomas Schwinge <>2007-10-06 22:36:20 +0200
committerThomas Schwinge <>2007-10-06 22:36:20 +0200
commit93d0008eb7510e8c1e0583d20bb331fc87475ba9 (patch)
tree75cb3e159f6ec9290b03ab62ce4007f60cf2f1b0 /microkernel/mach/gnumach/ports/xen.mdwn
parent6025939937760b7c9de2b5e5448adc2b3d777d65 (diff)
Fix links to stesie's user page.
Diffstat (limited to 'microkernel/mach/gnumach/ports/xen.mdwn')
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 <>.
+[[Stefan_Siegl|stesie]] is providing a PAE-disabled Linux kernel image at
You can either get binaries at <> or build them yourself.