summaryrefslogtreecommitdiff
path: root/microkernel
diff options
context:
space:
mode:
authorhttp://larsrasmusson.se/ <http://larsrasmusson.se/@web>2011-07-24 13:05:21 +0200
committerGNU Hurd web pages engine <web-hurd@gnu.org>2011-07-24 13:05:21 +0200
commita40099c68f8d0f518a7594cdf296a566ec2e4207 (patch)
tree96543ece30a6d110b6f15f20244e57b58c3c2820 /microkernel
parent3596895ffc649893a7f4519e91c096bcecd76d8e (diff)
spelling typo fix: themselvse -> themselves
Diffstat (limited to 'microkernel')
-rw-r--r--microkernel/mach/port.mdwn2
1 files changed, 1 insertions, 1 deletions
diff --git a/microkernel/mach/port.mdwn b/microkernel/mach/port.mdwn
index ba2e22c2..7f02628d 100644
--- a/microkernel/mach/port.mdwn
+++ b/microkernel/mach/port.mdwn
@@ -49,7 +49,7 @@ send-once right. These messages are (probably) queued and when the server task
tries to receive messages by having a [[thread]] use its port receive right, it
gets the message(s). This is called [[IPC]].
-Port rights themselvse can be [[delegate]]d in a [[message]], too. When the
+Port rights themselves can be [[delegate]]d in a [[message]], too. When the
receiver dequeues the message, the right is made available to it.
The delivery of [[message]]s is reliable and strictly ordered. When a