 IPC tutorial by seL4 Project

By seL4 Project.

Publisher: seL4 Project.

This source is credited to an organization.

Online text: docs.sel4.systems/Tutorials/ipc.html

Cited passages: IPC tutorial, Background: System calls, seL4_Call and reply capabilities; IPC tutorial, Background: System calls; IPC Buffer; Data transfer; IPC tutorial, Background: endpoint queues.