Linux Kernel source tree
Zen Patched Kernel Sources
Real-Time Event Frameworks based on active objects & state machines
AliOS Things latest version
Free real-time operating system designed for microcontrollers
Open-source RTOS and Embedded Systems Toolkit for C++ and C
A multiplatform, DOS-like operating system
Small real time operating system for AVR and ARM microcontrollers
A Simple 'IDE'A for Linux Kernel Developers
Embedded Real-Time Operating System (RTOS)
a very fast full system simulator
Smart home thermostat with touch screen and home automation
A native, dual-bootable ubuntu for the HTC™ HD2 Phone (qsd8250 SoC)