⚠️ VeridianOS Kernel Documentation - This is low-level kernel code. All functions are unsafe unless explicitly marked otherwise. no_std

Module capability

Module capability 

Source
Expand description

IPC capability management

Capabilities are unforgeable tokens that grant specific permissions for IPC operations. They are the foundation of VeridianOS security model.

Re-exports§

pub use crate::process::ProcessId;

Structs§

CapabilityTable
Capability lookup table with BTreeMap-backed storage
IpcCapability
IPC capability structure
IpcLimits
IPC usage limits and restrictions
IpcPermissions
IPC permissions structure

Enums§

CapabilityType
Capability types
Permission
Individual permissions

Type Aliases§

EndpointId
Endpoint ID type