summaryrefslogtreecommitdiff
path: root/microkernel/mach/gnumach/ports/xen
diff options
context:
space:
mode:
authorThomas Schwinge <tschwinge@gnu.org>2008-10-07 23:10:27 +0200
committerThomas Schwinge <tschwinge@gnu.org>2008-10-07 23:10:27 +0200
commitc27c0f96b9ca6898064d5bdbbc79c4475ee7c65a (patch)
tree2c4e6d6debda51d93a8fce5e120e5575cba34fe3 /microkernel/mach/gnumach/ports/xen
parentd8b384307a4052212b89e4d963aedcb4d1acc9aa (diff)
[[Emulation]]: New. Add some links.
Diffstat (limited to 'microkernel/mach/gnumach/ports/xen')
-rw-r--r--microkernel/mach/gnumach/ports/xen/internals.mdwn2
1 files changed, 2 insertions, 0 deletions
diff --git a/microkernel/mach/gnumach/ports/xen/internals.mdwn b/microkernel/mach/gnumach/ports/xen/internals.mdwn
index 22aac75e..09e707ea 100644
--- a/microkernel/mach/gnumach/ports/xen/internals.mdwn
+++ b/microkernel/mach/gnumach/ports/xen/internals.mdwn
@@ -10,3 +10,5 @@ is included in the section entitled
The port does use Xen's para-virtualized interface for device (ide, network,
etc.) access.
+
+[[Virtualization]].