a self-contained development environment for embedded systems.
A C++ library for AVR and NodeMCU
The event based Real-Time Operating System (RTOS) for Arduino
Debian for WDTV Live (running WDLXTV) - Inc. Build Essentials
TEI of Piraeus, Poseidon team, 2015 Shell Eco Marathon.
A Tailored Small Linux for Beagleboard-xm
Ada compiler support for TI MSP430 processors
HatMod ROMs for Ramos Tablets