diff options
Diffstat (limited to 'microkernel/mach')
| -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 |
3 files changed, 5 insertions, 1 deletions
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 |