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…
Optional Postgres-backed, multi-host LedgerHeadStore for decern. Adds a TLS stack (rustls/ring) to the compiled-native dependencies; binaries built without it…
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…
Rust SDK for the Darra PROFINET IO device stack — use a Windows host as a PROFINET IO device under the control of a master system (e.g. a Siemens PLC): RT…
D19: the shared first-party HTTPS client SaaS adapters speak through — POST JSON with a bearer token over the workspace's existing hyper + rustls stack, with…
Secure key-value storage for Frust apps: Keychain on Apple, Keystore on Android, the keyring stack on Linux and Windows, with an optional biometric gate.
Standalone signature-database updater for exav: fetch ClamAV-format CVD containers from a user-supplied mirror (no bundled URL). Isolated so the pure-Rust…
Name reservation. Gaz is the contact layer of the mere stack: persona-scoped, key-rooted contact records (your petname for them, their stable keys, attested…
The tabit composition root: the opinionated assembly (toolset, extension world, gate, host data) as a library — the presets an embedder mounts to build their…