rtos-library

An STM32-RTOS Arduino library to implement all kind of switches out of simple push buttons (Momentary buttons) by using embedded simulated behavior. Make the same pushbutton behave completely differently according to needs by just an assignement. Save panel space by reusing the minimum pushbuttons.

Quartz is a small (less than 2 KLOC), fast, portable, configurable RTOS written in C.

HardRT is a minimal Real Time Operating System designed to be the core of more complex systems

MoeSimpleRealtimeOS is a lightweight, portable embedded real-time operating system (RTOS) designed specifically for the Arduino platform and similar microcontroller environments.

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.

The FreeRTOS standard demo tasks (Demo/Common/Minimal) remade in Rust as the Kairos conformance corpus: every scenario self-checks like the C original and, on the sim port, diffs its trace against the C kernel's.

backoffAlgorithm remade in Rust: exponential backoff with jitter for network retries, no_std, forbid(unsafe), gated against the C library's own test vectors.