A lightweight, event-driven micro kernel for high-reliability bare metal embedded systems, featuring asynchronous event bus, robust fault management, and advanced deep-sleep power strategies. Optimized for STM32L4 series.
cmake embedded tdd state-machine ci cd microkernel rtos embedded-c stm32l4 ceedling cooperative-multitasking object-oriented-c static-pool software-timers b-l4s5i-iot01a async-logging stm32l4-discovery-kit-iot stm32l4s5
-
Updated
Apr 14, 2026 - C