The PXT module for STM32 board based on freertos


I am trying to understand if I could create a PXT module for STM32 microcontroller. The application of STM32 board based on freertos.

I would like to know if there are any examples of using CODAL with freertos to create PXT module ? And if it is possible ?

For example how it was done by Lego for their operating system:

Please give me some advice!