Struct Capability 

pub struct Capability {
    pub id: CapId,
    pub resource_type: ResourceType,
    pub permissions: CapPermissions,
    pub resource: usize,
    pub badge: u64,
}

A capability token that grants access to a kernel resource

Fields

id: CapId

Unique identifier for this capability

resource_type: ResourceType

Type of resource this capability grants access to

permissions: CapPermissions

Permissions associated with this capability

resource: usize

Reference to the actual resource (opaque to prevent direct access)

badge: u64

Opaque badge injected by the kernel at send time.

For channel capabilities this is the identity presented to receivers in IpcMessage::sender. The sender cannot forge it: the kernel overwrites sender with cap.badge on every SYS_CHAN_SEND.

Defaults to id.as_u64(). When a capability is granted (delegated) via SYS_CHAN_GRANT, the granter may supply a custom badge so the receiver can distinguish individual clients without learning their global task IDs.

Trait Implementations

impl Clone for Capability

fn clone(&self) -> Capability

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Capability

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.