Linux Kernel source tree
Zen Patched Kernel Sources
Easy, yet powerful, GNU/Linux distribution
amforth is an extendible interpreter on microcontrollers
Real-Time Event Frameworks based on active objects & state machines
Free cooperative operating system designed for microcontrollers
Free real-time operating system designed for microcontrollers
Open-source RTOS and Embedded Systems Toolkit for C++ and C
Raspberry Web Server OS Raspbian Stretch / 9
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)