path: root/microkernel/mach/gnumach/ports/xen.mdwn
diff options
authorGNU Hurd wiki engine <>2007-10-03 13:31:54 +0000
committerGNU Hurd wiki engine <>2007-10-03 13:31:54 +0000
commitc7990886446817b0f1f25777a881680afc272ba5 (patch)
tree595f1e5124b58a06365cf027f59d4a19854c4755 /microkernel/mach/gnumach/ports/xen.mdwn
parent496890f58e71fd8772045198cadb9b6e8f1fd21e (diff)
web commit by tschwinge: Link to stesie's PAE-disabled Linux kernel image.
Diffstat (limited to 'microkernel/mach/gnumach/ports/xen.mdwn')
1 files changed, 4 insertions, 0 deletions
diff --git a/microkernel/mach/gnumach/ports/xen.mdwn b/microkernel/mach/gnumach/ports/xen.mdwn
index 7b989de..6c9577d 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 <>.
You can either get binaries at <> or build them yourself.
- Copy `gnumach-xen` and `hurd-modules` to your dom0 /boot.