summaryrefslogtreecommitdiff
path: root/microkernel/mach/gnumach
diff options
context:
space:
mode:
authorThomas Schwinge <tschwinge@gnu.org>2007-10-03 14:28:30 +0200
committerThomas Schwinge <tschwinge@gnu.org>2007-10-03 14:28:30 +0200
commitbca93c85250dab863296780abf55c7105388fac4 (patch)
tree980ced87084085b4309027a905dc7292a0afc017 /microkernel/mach/gnumach
parent34d39e6473d5d893141f386aedbd3688f1e26063 (diff)
The port to Xen is a port.
Diffstat (limited to 'microkernel/mach/gnumach')
-rw-r--r--microkernel/mach/gnumach/hardwarecompatibilitylist.mdwn4
-rw-r--r--microkernel/mach/gnumach/ports.mdwn2
-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