diff options
Diffstat (limited to 'microkernel/mach')
-rw-r--r-- | microkernel/mach/gnumach/hardwarecompatibilitylist.mdwn | 2 | ||||
-rw-r--r-- | microkernel/mach/gnumach/xen.mdwn | 17 |
2 files changed, 18 insertions, 1 deletions
diff --git a/microkernel/mach/gnumach/hardwarecompatibilitylist.mdwn b/microkernel/mach/gnumach/hardwarecompatibilitylist.mdwn index c3f59af1..078b5a31 100644 --- a/microkernel/mach/gnumach/hardwarecompatibilitylist.mdwn +++ b/microkernel/mach/gnumach/hardwarecompatibilitylist.mdwn @@ -24,7 +24,7 @@ on such a system won't succeed. Support for running GNU Mach (and a complete GNU/Hurd system) in a [Xen](http://www.cl.cam.ac.uk/research/srg/netos/xen/) `domU` (again on `x86` -only) is [[being_worked_on|Hurd/xen]]. +only) is [[being_worked_on|xen]]. # Memory diff --git a/microkernel/mach/gnumach/xen.mdwn b/microkernel/mach/gnumach/xen.mdwn new file mode 100644 index 00000000..3d70b4f6 --- /dev/null +++ b/microkernel/mach/gnumach/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`. |