rusty_rtos_capi/lib.rs
1#![cfg_attr(not(feature = "std"), no_std)]
2#![forbid(unsafe_code)]
3//! `rusty_rtos-capi` — The FreeRTOS C ABI over the Kairos kernel: xTaskCreate, xQueueSend, xSemaphoreTake, xTimerCreate and the rest as extern C symbols with generated FreeRTOS.h-compatible headers, so a C program relinks and the unmodified C demo tasks pass.
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-capi.md`.
9
10pub use rusty_rtos_capi_core::*;
11
12/// The names a firmware wants in scope.
13pub mod prelude {
14 pub use rusty_rtos_capi_core::prelude::*;
15}