summaryrefslogtreecommitdiff
path: root/microkernel/mach
diff options
context:
space:
mode:
authorThomas Schwinge <thomas@codesourcery.com>2015-05-09 16:10:11 +0200
committerThomas Schwinge <thomas@codesourcery.com>2015-05-09 16:10:11 +0200
commit9bc8e8004d9380d57decbbf6e89346a0facff705 (patch)
tree4a215051bfd9e75353e6e6005f856629ce8a17c0 /microkernel/mach
parent460e7e3be7c64ef6eb6f7bb73887345fc63c962e (diff)
Interlink NBD pages
Diffstat (limited to 'microkernel/mach')
-rw-r--r--microkernel/mach/external_pager_mechanism.mdwn8
1 files changed, 4 insertions, 4 deletions
diff --git a/microkernel/mach/external_pager_mechanism.mdwn b/microkernel/mach/external_pager_mechanism.mdwn
index 54492b71..ccb72421 100644
--- a/microkernel/mach/external_pager_mechanism.mdwn
+++ b/microkernel/mach/external_pager_mechanism.mdwn
@@ -1,5 +1,5 @@
-[[!meta copyright="Copyright © 2002, 2007, 2008, 2010, 2011, 2012 Free Software
-Foundation, Inc."]]
+[[!meta copyright="Copyright © 2002, 2007, 2008, 2010, 2011, 2012, 2015 Free
+Software Foundation, Inc."]]
[[!meta license="""[[!toggle id="license" text="GFDL 1.2+"]][[!toggleable
id="license" text="Permission is granted to copy, distribute and/or modify this
@@ -136,8 +136,8 @@ resource, yet it cannot safely transfer its handle to the client. In
this case, it would proxy the requests.
(C) The storeio server contacts, for instance, a [[device_driver]] to do
-the read. This could also be a network block device (the NBD server
-in GNU/Linux), a file, a memory object, etc.
+the read. This could also be a [[network block device (the NBD server
+in GNU/Linux)|hurd/libstore/nbd_store]], a file, a memory object, etc.
(D) The device driver allocates an [[anonymous_page]] from the
[[default_pager]] and reads the data into it. Once all of the operations are