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.
The ChibiOS components are available under Open Source licenses, GPL3 or Apache 2.0, there are also several commercial licensing options
For more info see here.