Synthesizing embedded control software from formal specifications
a linux based readonly image as appliance
Extend GDB Server feature, OS Aware Debugging, Thread Stack Checking
A Development Framework for Coldfire
Embedded operating system that runs LUA scripts
Embedded JPEG encoder
serial logging tool with time stamps and hotkey and automation support
Set recovery mode IP and flash firmware to ASUS WL-500gP router
Tools for cross building root file systems.
logfile read and search utility
cMIPS - an FPGA ready VHDL model for 5-stage pipeline, MIPS32r2 core
Embedded Real-Time Operating System (RTOS)
fully modular opensource firmware for the ez430 chronos
Controlling Model Railroad via Networks
Project has been move to https://github.com/ciaa/Firmware
Fronius data tool for Linux
BitBurner AVR Programmer, a full and complete AVRdude GUI for Windows.
Raspberry Pi SD Image with Ruby and SiriProxy
A disassembler and a simulator for the MSP430 CPU