Custom firmware and IDE for the VEX Cortex Microcontroller
...Eclipse and FreeRTOS have their own licensing agreements. Please see http://www.eclipse.org/legal/epl-v10.html and http://www.freertos.org/a00114.html for details.
The FunnyRobot project designs an educational robot controller that is programmable via USB. Both the hardware and software are configurable and extensible. Users can build programs with a C++ library and run them under a real-time operating system.