diff options
| author | Thomas Schwinge <tschwinge@gnu.org> | 2008-10-07 23:10:27 +0200 |
|---|---|---|
| committer | Thomas Schwinge <tschwinge@gnu.org> | 2008-10-07 23:10:27 +0200 |
| commit | c27c0f96b9ca6898064d5bdbbc79c4475ee7c65a (patch) | |
| tree | 2c4e6d6debda51d93a8fce5e120e5575cba34fe3 /microkernel/mach | |
| parent | d8b384307a4052212b89e4d963aedcb4d1acc9aa (diff) | |
[[Emulation]]: New. Add some links.
Diffstat (limited to 'microkernel/mach')
| -rw-r--r-- | microkernel/mach/gnumach/ports/xen/internals.mdwn | 2 |
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]]. |