ChibiOS is a complete development environment for embedded applications including RTOS, an HAL, peripheral drivers, support files and tools.
ChibiOS also integrates external Open Source components in order to offer a complete solution for embedded devices.