diff options
| author | Thomas Schwinge <thomas@codesourcery.com> | 2012-11-30 09:01:51 +0100 |
|---|---|---|
| committer | Thomas Schwinge <thomas@codesourcery.com> | 2012-11-30 09:01:51 +0100 |
| commit | 646f30e7ca95e161c87e0bce9d40a7e7b9204e4b (patch) | |
| tree | 56231278908c28b074acf8d9bc0f86a0619d2f14 /microkernel | |
| parent | 111a12ba9002c0e69fb7976880ffced769622688 (diff) | |
open_issues/whole_system_debugging: New.
Diffstat (limited to 'microkernel')
| -rw-r--r-- | microkernel/mach/message.mdwn | 3 |
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 |