summaryrefslogtreecommitdiff
path: root/microkernel
diff options
context:
space:
mode:
authorThomas Schwinge <thomas@codesourcery.com>2012-12-11 11:22:18 +0100
committerThomas Schwinge <thomas@codesourcery.com>2012-12-11 11:22:18 +0100
commita61ab7b60a4f29bf7652aafea2319bdc11ab06d8 (patch)
treed3eb5bef5cedae809d671aa9f8b6523c9000faf0 /microkernel
parent1c36eb6c025084af76c5b930ca4adc5953560fd7 (diff)
parent573d363a3458b8a37e6ec929c778dae8abf90fab (diff)
Merge remote-tracking branch 'feldtkeller.SCHWINGE/master'
Conflicts: hurd/libstore/nbd_store.mdwn open_issues/glibc.mdwn open_issues/libpthread_CLOCK_MONOTONIC.mdwn open_issues/packaging_libpthread.mdwn shortcuts.mdwn
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