Struct Stage2Create 

pub struct Stage2Create {
    pub root_task: Option<TaskHandle>,
    pub regions: [Option<RegionHandle>; 256],
    pub region_count: usize,
    pub witness_log: Option<WitnessLog>,
    pub boot_capabilities: Option<BootCapabilitySet>,
}

Stage 2: Kernel object creation.

Creates:

• Root task
• Memory regions per manifest schema
• Queues per manifest wiring
• Witness log region

Fields

root_task: Option<TaskHandle>

Root task handle.

regions: [Option<RegionHandle>; 256]

Created region handles.

region_count: usize

Number of active regions in the array.

witness_log: Option<WitnessLog>

Witness log handle.

boot_capabilities: Option<BootCapabilitySet>

Initial capability set for root task.

Implementations

impl Stage2Create

pub fn new() -> Self

Creates a new Stage 2 handler.

pub fn execute( &mut self, manifest: &RvfManifest, _physical_memory_bytes: u64, ) -> Result<(), KernelError>

Executes Stage 2 kernel object creation.

Errors

Returns an error if object creation fails (e.g., out of memory).

Trait Implementations

impl Default for Stage2Create

fn default() -> Self

Returns the “default value” for a type.