Obsidian/.archive/300s School/ME 2150 - High Assurance Cyber-Physical Systems/Capabilities Tutorials.md

From the tutorial: There are three kinds of capabilities in seL4:

• capabilities that control access to kernel objects such as thread control blocks,
• capabilities that control access to abstract resources such as IRQControl, and
• untyped capabilities, that are responsible for memory ranges and allocation from those (see also the Untyped tutorial).