seL4-docs/Tutorials/capabilities.md

title	tutorial	layout	nav_prev	nav_next	description	SPDX-License-Identifier	SPDX-FileCopyrightText
Capabilities	capabilities	tutorial	hello-world.html	untyped.html	an introduction to capabilities in the seL4 kernel API	CC-BY-SA-4.0	2020 seL4 Project a Series of LF Projects, LLC.

{% include tutorial.md %}