Struct InitialCapability 

pub struct InitialCapability {
    pub object_id: u64,
    pub object_type: ObjectType,
    pub rights: CapRights,
    pub badge: u64,
    pub description: &'static str,
}

Initial capability descriptor for boot-time creation.

Fields

object_id: u64

Object identifier.

object_type: ObjectType

Object type.

rights: CapRights

Rights granted.

badge: u64

Badge for identification.

description: &'static str

Description for debugging.

Implementations

impl InitialCapability

pub const fn new( object_id: u64, object_type: ObjectType, rights: CapRights, badge: u64, description: &'static str, ) -> InitialCapability

Creates a new initial capability descriptor.

pub const fn memory(object_id: u64, start_addr: u64) -> InitialCapability

Creates a physical memory capability.

pub const fn memory_readonly( object_id: u64, start_addr: u64, ) -> InitialCapability

Creates a read-only physical memory capability (e.g., ROM).

pub const fn rvf_package( object_id: u64, package_hash_lo: u64, ) -> InitialCapability

Creates a boot RVF package capability.

pub const fn witness_log(object_id: u64) -> InitialCapability

Creates a kernel witness log capability.

pub const fn interrupt_queue(object_id: u64, irq_mask: u64) -> InitialCapability

Creates a root interrupt queue capability.

pub const fn timer(object_id: u64) -> InitialCapability

Creates a root timer capability.

pub const fn root_task(object_id: u64) -> InitialCapability

Creates a root task capability (self-reference).

pub const fn vector_store(object_id: u64, dimension: u64) -> InitialCapability

Creates a vector store capability for neural memory.

pub const fn proof_graph(object_id: u64) -> InitialCapability

Creates a proof graph capability (uses GraphStore for proof-related data).

Trait Implementations

impl Clone for InitialCapability

fn clone(&self) -> InitialCapability

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for InitialCapability

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

Formats the value using the given formatter.

impl PartialEq for InitialCapability

fn eq(&self, other: &InitialCapability) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for InitialCapability

impl Eq for InitialCapability

impl StructuralPartialEq for InitialCapability