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 | |
| parent | 34d39e6473d5d893141f386aedbd3688f1e26063 (diff) | |
The port to Xen is a port.
Diffstat (limited to 'microkernel')
| -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 |