Real-Time Event Frameworks based on active objects & state machines
AO RTOS is small real time OS based on Active Object concurrency model
Linux 4.9 Kernel for Xiaomi Mi A1 aka Tissot
Free cooperative operating system designed for microcontrollers
Free real-time operating system designed for microcontrollers
Mulithreading Arduno library
replicated-kernel Linux-based OS
Wayland/QtQuick based OS with incremental updates and bundles
Tiny operating system for running HCFSM-based systems