ChibiOS/RT is a compact and fast RTOS designed for embedded applications. It offers threads, mutexes, semaphores, messages, events, timers, flexible I/O with timeout capability. ARM7, Cortex-M3, AVR, MSP430 and x86 are currently supported.
Paparazzi is a free and open-source hardware and software project intended to create an exceptionally powerful and versatile autopilot system by allowing and encouraging input from the community. The project includes not only the airborne hardware and software, from voltage regulators and GPS
... [More] receivers to Kalman filtering code, but also a powerful and ever-expanding array of ground hardware and software including modems, antennas, and a highly evolved user-friendly ground control software interface.
All hardware and software is open-source and freely available to anyone under the GNU licencing agreement. Several vendors are currently producing and selling Paparazzi autopilots and popular accessories, making the system easy and affordable to all.
The key feature of the paparazzi autopilot is its unique combination of infrared thermopiles and inertial measurement for attitude sensing, providing a robust and accurate attitude estimate that requires no ground calibration and can recover from any launch attitude.
The sourcecode is hosted at GitHub http://github.org/paparazzi/paparazzi for more information see http://paparazzi.enac.fr/wiki/Git [Less]
FreeOSEK (originally called OpenSEK) is a scalable solution for embedded system. FreeOSEK OS is based on OSEK-VDX RTOS specification and is best suitable for small and fast real time operating systems.