Free and Open Source RTOS for micro controllers. The OS is a complete development environment for modern MCU including a RTOS kernel, an HAL for peripherals abstraction and all the required support software. A full development environment based on Eclipse is also provided.
ChibiOS