Skip to content
Open-Source Registry

Search 9 packages

Found
Build behaviour
Packages1–9 of 9VersionFindingsDescriptionDownloadsWhen
rusty_rtos_port-core cargo0.3.2clean The pure no_std core of rusty_rtos_port: types, traits and algorithms with no CPU, no allocator and no operating system. forbid(unsafe).3973d ago
rusty_rtos_port cargo0.3.2clean 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…3773d ago
rusty_rtos_port-riscv cargo0.3.2clean 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…983d ago
rusty_rtos_port-xtensa cargo0.3.2clean 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…983d ago
rusty_rtos_demo-core cargo0.3.2clean The pure no_std core of rusty_rtos_demo: types, traits and algorithms with no CPU, no allocator and no operating system. forbid(unsafe).963d ago
rusty_rtos_port-host cargo0.3.2clean 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…623d ago
rusty_rtos_port-cortex-m cargo0.3.2clean 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…593d ago
rusty_rtos_port-esp-radio cargo0.3.2clean esp-radio on a Kairos kernel: the five esp-radio-rtos-driver implementations, as a crate rather than glue inside one firmware273d ago
rigless-rtos cargo0.1.0clean A firmware kernel's threads as a debugger shows them: ChibiOS/RT and FreeRTOS on ARMv7-M, walked through memory reads alone242d ago