tpt_archon_bridge/lib.rs
1//! `tpt-archon-bridge`: zero-copy IPC and unified page-cache traits.
2//!
3//! Phase 2a of the `tpt-archon` stack. This crate defines the capability types
4//! and the [`page_cache`] trait that let the kernel and the storage engine
5//! share pages with no double-buffering. [`grant`] builds the
6//! capability-gated, zero-copy [`grant::CapabilityGrant`] contract on top of
7//! [`page_cache::UnifiedPageCache`] — the interface Telos-compiled
8//! user-space code targets. It depends only on `tpt-archon-core`.
9#![cfg_attr(not(feature = "std"), no_std)]
10
11extern crate alloc;
12
13pub mod capability;
14pub mod grant;
15pub mod page_cache;