Python implementation for microcontrollers and constrained systems
Market leading real time kernel for 40+ microcontroller architectures
Bootloader for STM32, XMC, HCS12 and other microcontroller targets.
A GUI system for embedded systems.
RTOS for Secure, Safe and Real-Time Systems
W-Bus communication library
Allows executing code on MIPS32 EmbeddedLinux devices (WLAN routers)
Raspberry PI minimal linux distribution
Embedded JPEG encoder
Arduino core for Attiny13
Embedded Real-Time Operating System (RTOS)
A Tailored Small Linux for Beagleboard-xm
C-Library for microcontrollers to control SED1531 based LCD's
Linux kernel development for Wondermedia-based System-on-a-Chip device
A small microcontroller LED Pin-back button for just 1 $