Intel Bluetooth Kernel Extensions for macOS
Blazingly Fast & Customizable Linux distribution
Real-Time Event Frameworks based on active objects & state machines
Tiny Kernel is a work in progress Operating System kernel.
Free real-time operating system designed for microcontrollers
Open-source RTOS and Embedded Systems Toolkit for C++ and C
Run Linux on Windows or other OSes, natively.
C++ RTOS for my mustang ECU project
Pre-Alpha Console distro for high performance Linux computing.
A microkernel, capability-based operating system for the Cloud.
An operating system based upon the MOSA kernel.