diff options
| author | Thomas Schwinge <tschwinge@gnu.org> | 2007-09-14 16:35:32 +0200 |
|---|---|---|
| committer | Thomas Schwinge <tschwinge@gnu.org> | 2007-09-14 16:35:32 +0200 |
| commit | 9cedf47ebaebf9224fbbb9670001567098943d79 (patch) | |
| tree | ad21162d63654cfc32babf8b4944f31febd22b0c /ipc.mdwn | |
| parent | bef9a2b0c49d190d384f21e85e4f5e7728dfaac1 (diff) | |
Rename some pages to be more consistent.
Diffstat (limited to 'ipc.mdwn')
| -rw-r--r-- | ipc.mdwn | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -32,5 +32,5 @@ any [[destructive_interference]] thereby removing the need for the caller to [[trust]] the callee thus reducing the former's [[tcb]]. When done systematically, this can increase the system's [[robustness]]. To this end, microkernels provide richer IPC semantics that include -the ability to transfer [[capabilities]] and to use [[virtual_memory]] +the ability to transfer [[capabilities|capability]] and to use [[virtual_memory]] [[mechanism]]s to copy data. |