summaryrefslogtreecommitdiff
path: root/microkernel
diff options
context:
space:
mode:
Diffstat (limited to 'microkernel')
-rw-r--r--microkernel/mach/message.mdwn3
1 files changed, 2 insertions, 1 deletions
diff --git a/microkernel/mach/message.mdwn b/microkernel/mach/message.mdwn
index 6c6cfb1e..4c49af17 100644
--- a/microkernel/mach/message.mdwn
+++ b/microkernel/mach/message.mdwn
@@ -12,7 +12,8 @@ License|/fdl]]."]]"""]]
*Messages* are collections of typed data, with a defined layout, including an
[[ID|msgh_id]].
-They are used for [[IPC]], and are sent to and received from [[port]]s.
+They are used for [[IPC]], and are sent to and received from [[port]]s using
+the `mach_msg` interface.
These messages are not only opaque data. They can also contain [[port
rights|port]] to be passed to another [[task]]. Port rights are either