| toc | true |
|---|---|
| title | IPC |
| tutorial | ipc |
| tutorial-order | mechanisms-5 |
| description | overview of interprocess communication (IPC). |
| SPDX-License-Identifier | CC-BY-SA-4.0 |
| SPDX-FileCopyrightText | 2020 seL4 Project a Series of LF Projects, LLC. |
{% include tutorial.md %}