diff options
| -rw-r--r-- | microkernel/mach/port.mdwn | 2 |
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 |