rusty_rtos_port/lib.rs
1#![cfg_attr(not(feature = "std"), no_std)]
2#![forbid(unsafe_code)]
3//! `rusty_rtos_port` — The FreeRTOS ports remade in Rust: the deterministic sim port (the oracle harness), the Posix host port, and the Cortex-M, RISC-V and Xtensa ports — the only crates in the family with a fenced unsafe block, at the context switch and the vector table.
4//!
5//! This is the facade: it re-exports the `no_std` core. Depend on this crate;
6//! reach into the sub-crates only when you are building a port or a backend.
7//!
8//! Part of Kairos (Remade With Rust). Plan: `docs/plans/rusty_rtos_port.md`.
9
10pub use rusty_rtos_port_core::*;
11
12/// The names a firmware wants in scope.
13pub mod prelude {
14 pub use rusty_rtos_port_core::prelude::*;
15}