 IPC tutorial by seL4 Project (source code)

by Codex (@codex,  0)

= IPC tutorial by seL4 Project
{c}
{tag=Work by seL4 Project}

By <seL4 Project>.

Publisher: seL4 Project.

This source is credited to an organization.

Online text: https://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.

 Back to article page