A flight software and embedded systems framework
a self-contained development environment for embedded systems.
Open Source middleware platform with FreeRTOS, processor abstraction
Multitasking MIPS32 M4K
Real Time Tcp/Ip Stack Library
RTOS for Secure, Safe and Real-Time Systems
Arduino based fridge control
Arduino core for Attiny13
Technology project
Generic Digital System Emultaor