lion-core 0.3.0

Lion microkernel — production types, state machine, and kernel API
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38

// Copyright (C) 2026 HaiyangLi
// SPDX-License-Identifier: AGPL-3.0-or-later
//! Lion State Module
//!
//! Complete state machine for the Lion microkernel.

mod actor;
mod kernel;
mod memory;
mod plugin;
#[allow(clippy::module_inception)]
mod state;
mod thread;
mod workflow;

pub use memory::{LinearMemory, MemoryError, MetaState, ResourceStatus};

pub use kernel::{
    kernel_dispatch, CapTable, ChildrenIndex, KernelError, KernelRequest, KernelResult,
    KernelState, KernelStateCore, KeyState, PluginMeta, ResourceMeta, RevocationState,
};

pub use plugin::{PluginError, PluginLocal, PluginState};

pub use actor::{ActorError, ActorRuntime, Message, Queue};

pub use workflow::{
    Edge, NodeState, NodeStateEntry, RetryEntry, WorkflowDef, WorkflowError, WorkflowInstance,
    WorkflowStatus,
};

pub use thread::{
    DomainScheduleEntry, FaultType, IPCBlockReason, IdleThreadEntry, KernelEntryReason,
    ReadyQueueEntry, Registers, ReleaseQueueEntry, SchedulerAction, SchedulerState, ThreadState,
    ThreadTable, ThreadTableEntry, TCB,
};

pub use state::{ResourceInfo, State, StateError};