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…
The Kairos RISC-V port: critical sections, the yield, stack initialisation and the machine-software-interrupt context switch for RV32. One of the crates in the…
The Kairos Xtensa port: the windowed-ABI context switch and stack initialisation for ESP32 / ESP32-S3. One of the crates in the family allowed a fenced…
The Kairos host port: one OS thread per task with a strict single-permit handoff, so a task written in C gets a REAL stack on a laptop. The shape FreeRTOS's…
The Kairos Cortex-M port: critical sections, the yield, the tick, stack initialisation and the PendSV context switch. One of the two crates in the family…