summaryrefslogtreecommitdiff
path: root/microkernel/mach/gnumach/ports
diff options
context:
space:
mode:
authorGNU Hurd wiki engine <web-hurd@gnu.org>2007-10-03 13:31:54 +0000
committerGNU Hurd wiki engine <web-hurd@gnu.org>2007-10-03 13:31:54 +0000
commitc7990886446817b0f1f25777a881680afc272ba5 (patch)
tree595f1e5124b58a06365cf027f59d4a19854c4755 /microkernel/mach/gnumach/ports
parent496890f58e71fd8772045198cadb9b6e8f1fd21e (diff)
web commit by tschwinge: Link to stesie's PAE-disabled Linux kernel image.
Diffstat (limited to 'microkernel/mach/gnumach/ports')
-rw-r--r--microkernel/mach/gnumach/ports/xen.mdwn4
1 files changed, 4 insertions, 0 deletions
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.