diff options
| -rw-r--r-- | hurd/running.mdwn | 2 | ||||
| -rw-r--r-- | microkernel/mach/gnumach/hardwarecompatibilitylist.mdwn | 4 | ||||
| -rw-r--r-- | microkernel/mach/gnumach/ports.mdwn | 2 | ||||
| -rw-r--r-- | microkernel/mach/gnumach/ports/xen.mdwn (renamed from microkernel/mach/gnumach/xen.mdwn) | 0 |
4 files changed, 6 insertions, 2 deletions
diff --git a/hurd/running.mdwn b/hurd/running.mdwn index 2be73078..82b11b53 100644 --- a/hurd/running.mdwn +++ b/hurd/running.mdwn @@ -7,7 +7,7 @@ is included in the section entitled [[GNU_Free_Documentation_License|/fdl.txt]]."]] * [[Distrib]] - Distributions based on the Hurd -* [[microkernel/mach/gnumach/Xen]] - In Xen +* [[microkernel/mach/gnumach/ports/Xen]] - In Xen * [[LiveCD]] - Live CDs * [[QEMU]] - In QEMU * [[FlashHurd]] - From a flash stick diff --git a/microkernel/mach/gnumach/hardwarecompatibilitylist.mdwn b/microkernel/mach/gnumach/hardwarecompatibilitylist.mdwn index e9e5bd87..e0e7e4ea 100644 --- a/microkernel/mach/gnumach/hardwarecompatibilitylist.mdwn +++ b/microkernel/mach/gnumach/hardwarecompatibilitylist.mdwn @@ -15,7 +15,9 @@ 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|xen]]. +only) is [[being_worked_on|ports/xen]]. + +Read about further [[ports]]. # Memory diff --git a/microkernel/mach/gnumach/ports.mdwn b/microkernel/mach/gnumach/ports.mdwn index 1aeb23f2..47967d65 100644 --- a/microkernel/mach/gnumach/ports.mdwn +++ b/microkernel/mach/gnumach/ports.mdwn @@ -8,3 +8,5 @@ is included in the section entitled * [PowerPC](http://www.pjbruin.dds.nl/hurd/). Is not in a usable state. * Alpha. Was once started, but isn't in a usable state either. + +* [[Xen]] diff --git a/microkernel/mach/gnumach/xen.mdwn b/microkernel/mach/gnumach/ports/xen.mdwn index 3d70b4f6..3d70b4f6 100644 --- a/microkernel/mach/gnumach/xen.mdwn +++ b/microkernel/mach/gnumach/ports/xen.mdwn |