diff options
| author | Samuel Thibault <sthibault@debian.org> | 2009-06-07 00:08:06 +0000 |
|---|---|---|
| committer | Samuel Thibault <sthibault@debian.org> | 2009-06-07 00:08:06 +0000 |
| commit | 850a3bcd7b117121184d922af10ab3e32da9da4c (patch) | |
| tree | 2a6a98cba728b2592c64a2cd441669d374ead8c4 | |
| parent | fb13eef7a09620f4efbedf625111fbfada3bcde2 (diff) | |
explain what Memory object proxies are for
| -rw-r--r-- | debian/patches/15_mem_obj_proxy.patch | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/debian/patches/15_mem_obj_proxy.patch b/debian/patches/15_mem_obj_proxy.patch index e73bb4d..68842ca 100644 --- a/debian/patches/15_mem_obj_proxy.patch +++ b/debian/patches/15_mem_obj_proxy.patch @@ -1,3 +1,7 @@ +Memory object proxies permit to replicate objects with different parameters, +like reduced privileged, different offset, etc. They are e.g. essential for +properly managing memory access permissions. + 2005-06-06 Marcus Brinkmann <marcus@gnu.org> * include/mach/mach4.defs: Add memory_object_create_proxy |