smashingrobotics.com
RIOT OS - An Open-Source Operating System for the Internet of Things - Smashing Robotics
RIOT free open-source OS for IoT applications supports 16/32-bit ARM MCUs, Arduino Due or ATmega2560 development boards, with drivers for sensors, network and other hardware.