summaryrefslogtreecommitdiff
path: root/microkernel/mach/gnumach/ports
diff options
context:
space:
mode:
authorSamuel Thibault <samuel.thibault@ens-lyon.org>2012-07-23 07:22:13 +0900
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2012-07-23 07:22:13 +0900
commitc0792ffe1f4be354f62ff866cf4c7ebb367e70bb (patch)
treec18ec30ed2c53c0b3feb41a92de2938ee582a764 /microkernel/mach/gnumach/ports
parente9990192bb52a2c6085d4c4d355c6ad9d8bdac67 (diff)
parenta29dec0b89f2961c8af41e6cd851b4ed9c9d28d8 (diff)
Merge branch 'master' of http://git.savannah.gnu.org/cgit/hurd/web
Diffstat (limited to 'microkernel/mach/gnumach/ports')
-rw-r--r--microkernel/mach/gnumach/ports/xen.mdwn4
1 files changed, 2 insertions, 2 deletions
diff --git a/microkernel/mach/gnumach/ports/xen.mdwn b/microkernel/mach/gnumach/ports/xen.mdwn
index 5fe73c06..c6023786 100644
--- a/microkernel/mach/gnumach/ports/xen.mdwn
+++ b/microkernel/mach/gnumach/ports/xen.mdwn
@@ -117,8 +117,8 @@ settrans -fgap /dev/hd0s1 /hurd/storeio -T typed part:1:device:hd0
# Host-side Writeback Caching
-Optimization possible as it is with [[QEMU|hurd/running/qemu/discussion]],
-*Host-side Writeback Caching*?
+Optimization possible as it is with
+[[QEMU|hurd/running/qemu/writeback_caching]]?
IRC, freenode, #hurd, 2011-06-08