Whereas FreeRTOS as we saw earlier can comfortably be just the RTOS within a HAL like CMSIS-RTOS, ChibiOS has a lot of functionality which is not covered by that API.

Infineon has announced FreeRTOS support for its 32-bit AURIX TC3x family of automotive and industrial microcontrollers.