PyRPL turns your Red Pitaya into a powerful analog feedback device.
An operating system written in RTL
Verilog Finite State Machine (FSM) Code Generator
A Development Framework for Coldfire
Open implementation of the x86 architecture
Open Source Hardware For Industrial Automation
Framework for Adaptive Hardware Concurrent Systems with DPR-FPGAs
Simple AVR OS
X-RT: A portable multiprocessor real-time scheduling framework