diff options
| author | Thomas Schwinge <tschwinge@gnu.org> | 2008-10-08 00:26:42 +0200 |
|---|---|---|
| committer | Thomas Schwinge <tschwinge@gnu.org> | 2008-10-08 00:26:42 +0200 |
| commit | f7cc93166ae25dc6936b7115f4196030c1eca288 (patch) | |
| tree | 0041ccc3b41647cbe220cd743e53c770f03d3317 /microkernel/mach/external_pager_mechanism.mdwn | |
| parent | c27c0f96b9ca6898064d5bdbbc79c4475ee7c65a (diff) | |
| download | web-f7cc93166ae25dc6936b7115f4196030c1eca288.tar.gz web-f7cc93166ae25dc6936b7115f4196030c1eca288.tar.bz2 web-f7cc93166ae25dc6936b7115f4196030c1eca288.zip | |
UNIX.
Diffstat (limited to 'microkernel/mach/external_pager_mechanism.mdwn')
| -rw-r--r-- | microkernel/mach/external_pager_mechanism.mdwn | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/microkernel/mach/external_pager_mechanism.mdwn b/microkernel/mach/external_pager_mechanism.mdwn index 7ed1ca57..608b6581 100644 --- a/microkernel/mach/external_pager_mechanism.mdwn +++ b/microkernel/mach/external_pager_mechanism.mdwn @@ -28,7 +28,7 @@ and the offset at which to install it. (The first time a task maps an object, Mach sends an initialization message to the server including a control capability, which it uses to supply pages to the kernel.) This is essentially -the same as mapping a file into an address space on Unix +the same as mapping a file into an address space on [[Unix]] using mmap. When a task faults, Mach checks to see if there is a memory |