Expand description
Capability-based Security System
Implements a capability-based security model for Strat9-OS. All kernel resources are accessed through unforgeable tokens (capabilities).
Structs§
- CapId
- Unique identifier for a capability
- CapPermissions
- Permissions associated with a capability
- Capability
- A capability token that grants access to a kernel resource
- Capability
Manager - Global capability manager
- Capability
Table - Table of capabilities for a process
Enums§
- Resource
Type - Types of kernel resources that can be accessed via capabilities
Functions§
- get_
capability_ manager - Get a reference to the global capability manager