summaryrefslogtreecommitdiff
path: root/microkernel
diff options
context:
space:
mode:
Diffstat (limited to 'microkernel')
-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]].