ChibiOS Free Embedded RTOS

Hello, I was using microcontrollers in a small package and then I found a better MCU from TI which has twice the Flash and RAM, has 2 ADCs, and a slightly higher frequency. This could have a big impact on my project and I wonder if ChibiOS has any ports on this MCU. It is an Arm M0+ MCU and it also has some code examples for FREE RTOS, which makes me assume it would be easy and trivial to port (HAL+ OS) for ChibiOS. Could someone provide me with any information related to this topic?

Hi,

Porting the RTOS should be very easy, porting the HAL drivers is a lot of work.

Giovanni