Skip to main content

Crate lion_core

Crate lion_core 

Source
Expand description

Lion Core – production microkernel types, state machine, and kernel API.

This crate provides the canonical Rust implementation of the Lion microkernel.

§Features

  • serde – Enable serde Serialize/Deserialize on all types

Re-exports§

pub use error::Error;
pub use kernel::Kernel;
pub use types::Action;
pub use types::ActorId;
pub use types::Blake3Hash;
pub use types::CapId;
pub use types::CapPayload;
pub use types::Capability;
pub use types::CapabilityError;
pub use types::DomainId;
pub use types::Hash32;
pub use types::Key;
pub use types::LogEvent;
pub use types::MemAddr;
pub use types::MemRegion;
pub use types::MsgId;
pub use types::MsgState;
pub use types::ParseMemRegionError;
pub use types::ParseMsgStateError;
pub use types::ParsePolicyDecisionError;
pub use types::ParseRightError;
pub use types::ParseSecurityLevelError;
pub use types::PluginId;
pub use types::PolicyContext;
pub use types::PolicyDecision;
pub use types::PolicyDecisionFn;
pub use types::PolicyError;
pub use types::PolicyState;
pub use types::ResourceId;
pub use types::Right;
pub use types::Rights;
pub use types::RightsError;
pub use types::RuntimeTag;
pub use types::SealedTag;
pub use types::SecurityLevel;
pub use types::Size;
pub use types::SymbolicTag;
pub use types::ThreadId;
pub use types::Time;
pub use types::WorkflowId;
pub use step::AuthorizationError;
pub use step::Authorized;
pub use step::HostCall;
pub use step::HostCallPrecondition;
pub use step::HostFunction;
pub use step::HostResult;
pub use step::InvalidTransitionReason;
pub use step::KernelOp;
pub use step::KernelOpError;
pub use step::PluginInternal;
pub use step::PluginPrecondition;
pub use step::Step;
pub use step::StepError;

Modules§

error
Unified error type for lion-core operations.
kernel
High-level Kernel API wrapping the verified state machine.
state
Lion State Module
step
Lion Step Module
types
Lion Core Types