C library for the development of Linux OpenGL DRM/KMS apps
KleOS brings together Arduino, FreeRTOS and Arduino-mk to you.
RTOS for Secure, Safe and Real-Time Systems
AudiculaPi - the tiny media server for your Raspberry Pi
Embedded linux and cross toolchain
A Tailored Small Linux for Beagleboard-xm
A disassembler and a simulator for the MSP430 CPU
Ada compiler support for TI MSP430 processors