tpt_archon_kernel/lib.rs
1//! `tpt-archon-kernel`: capability-based microkernel (user-space first).
2//!
3//! Phase 2b of the `tpt-archon` stack. "Microkernel" here means a user-space
4//! process model on top of a host OS first; bare-metal comes later. Provides an
5//! async task [`scheduler`], capability-bearing [`ipc`], and page-cache-aware
6//! [`memory`] management. Depends on `tpt-archon-core` + `tpt-archon-bridge`.
7#![cfg_attr(not(feature = "std"), no_std)]
8
9extern crate alloc;
10
11pub mod ipc;
12pub mod memory;
13pub mod scheduler;
14
15#[cfg(all(feature = "io-uring-backend", target_os = "linux"))]
16pub mod io_uring_backend;