Expand description
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.
This is the facade: it re-exports the no_std core. Depend on this crate;
reach into the sub-crates only when you are building a port or a backend.
Part of Kairos (Remade With Rust). Plan: docs/plans/rusty_rtos-capi.md.
Modules§
- codec
- How a Kairos handle crosses the C seam, and how a queue item does.
- cstr
- Reading a C string without reading past it.
- ctypes
- The C’s scalar types and constants, written down beside where they came from.
- prelude
- The names a firmware wants in scope.
- retry
Wait::Blockedas the C sees it.- rtos_
core rusty_rtos_core— the shared vocabulary of the Kairos family.- symbols
- The ABI as data, and the header generated from it.
Constants§
- VERSION
- Crate version, for manifests and logs.