 Capabilities tutorial by seL4 Project

By seL4 Project.

Publisher: seL4 Project.

This source is credited to an organization.

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

Cited passages: Capabilities tutorial, Background: What is a capability?; Capabilities tutorial, Background: What is a capability?; CNodes and CSlots.