diff options
| author | Thomas Schwinge <tschwinge@gnu.org> | 2007-10-06 22:36:20 +0200 |
|---|---|---|
| committer | Thomas Schwinge <tschwinge@gnu.org> | 2007-10-06 22:36:20 +0200 |
| commit | 93d0008eb7510e8c1e0583d20bb331fc87475ba9 (patch) | |
| tree | 75cb3e159f6ec9290b03ab62ce4007f60cf2f1b0 /microkernel/mach/gnumach/ports | |
| parent | 6025939937760b7c9de2b5e5448adc2b3d777d65 (diff) | |
Fix links to stesie's user page.
Diffstat (limited to 'microkernel/mach/gnumach/ports')
| -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. |