A free (libre) open source, mobile OS for Ethereum
Real-Time Event Frameworks based on active objects & state machines
AO RTOS is small real time OS based on Active Object concurrency model
Thread Scheduler with custom asynchronous messaging in VC++
Linux 4.9 Kernel for Xiaomi Mi A1 aka Tissot
Simplest kernel for cooperative multithreading
The most advanced jailbreak tool
Free cooperative operating system designed for microcontrollers
Free real-time operating system designed for microcontrollers
Real time preemptive embedded multi-thread kernel
A Debug style tool for OS Free systems
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