diff options
author | Thomas Schwinge <tschwinge@gnu.org> | 2007-10-03 14:28:30 +0200 |
---|---|---|
committer | Thomas Schwinge <tschwinge@gnu.org> | 2007-10-03 14:28:30 +0200 |
commit | bca93c85250dab863296780abf55c7105388fac4 (patch) | |
tree | 980ced87084085b4309027a905dc7292a0afc017 /microkernel/mach/gnumach/ports | |
parent | 34d39e6473d5d893141f386aedbd3688f1e26063 (diff) |
The port to Xen is a port.
Diffstat (limited to 'microkernel/mach/gnumach/ports')
-rw-r--r-- | microkernel/mach/gnumach/ports/xen.mdwn | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/microkernel/mach/gnumach/ports/xen.mdwn b/microkernel/mach/gnumach/ports/xen.mdwn new file mode 100644 index 00000000..3d70b4f6 --- /dev/null +++ b/microkernel/mach/gnumach/ports/xen.mdwn @@ -0,0 +1,17 @@ +Note: since GNU Mach doesn't handle PAE, you need a PAE-disabled Hypervisor. + +- Copy `gnumach-xen` and `hurd-modules` to your dom0 /boot. +- Copy `hurd` into `/etc/xen`, edit it for fixing access to your hurd / and swap +- Run `xm create -c hurd`, gnumach should get started. +- If `xm` complains about networking, it's Xen fault, see Xen documentation for how to configure the network. The simplest way is network-bridge with fixed IPs. + +If you want to generate these images, first get the `gnumach-1-branch-Xen-branch` branch from gnumach CVS. +Then look for "Ugly" in `kern/bootstrap.c`, how to generate `hurd-modules` is explained there, and you'll have to fix `EXT2FS_SIZE` and `LD_SO_SIZE` by hand. +Then use + + ./configure --enable-platform=xen + make + +Instead, you can get the binaries at <http://dept-info.labri.fr/~thibault/hurd-xen/>. + +The current `hurd-modules` was built from the debian packages `hurd 20070606-2` and `libc0.3 2.6.1-1`. |