diff options
| author | Thomas Schwinge <thomas@codesourcery.com> | 2015-05-09 16:10:11 +0200 |
|---|---|---|
| committer | Thomas Schwinge <thomas@codesourcery.com> | 2015-05-09 16:10:11 +0200 |
| commit | 9bc8e8004d9380d57decbbf6e89346a0facff705 (patch) | |
| tree | 4a215051bfd9e75353e6e6005f856629ce8a17c0 /microkernel/mach | |
| parent | 460e7e3be7c64ef6eb6f7bb73887345fc63c962e (diff) | |
Interlink NBD pages
Diffstat (limited to 'microkernel/mach')
| -rw-r--r-- | microkernel/mach/external_pager_mechanism.mdwn | 8 |
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 |