From c7990886446817b0f1f25777a881680afc272ba5 Mon Sep 17 00:00:00 2001
From: GNU Hurd wiki engine <web-hurd@gnu.org>
Date: Wed, 3 Oct 2007 13:31:54 +0000
Subject: web commit by tschwinge: Link to stesie's PAE-disabled Linux kernel
 image.

---
 microkernel/mach/gnumach/ports/xen.mdwn | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'microkernel/mach/gnumach/ports')

diff --git a/microkernel/mach/gnumach/ports/xen.mdwn b/microkernel/mach/gnumach/ports/xen.mdwn
index 7b989de7..6c9577df 100644
--- a/microkernel/mach/gnumach/ports/xen.mdwn
+++ b/microkernel/mach/gnumach/ports/xen.mdwn
@@ -1,5 +1,9 @@
 /!\ 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/>.
+
+
 You can either get binaries at <http://dept-info.labri.fr/~thibault/hurd-xen/> or build them yourself.
 
 - Copy `gnumach-xen` and `hurd-modules` to your dom0 /boot.
-- 
cgit v1.2.3