Is there a FreeRTOS port under STM32 using HAL instead of SPL?

Question

Microcontrollers

There are ports for various microcontrollers of the STM32f4 family, but they are all tied to SPL. I would not want to use SPL, but searching for a port with HAL did not give any results.

Answer 1

Yes, it is included in the STM32CubeMX, which in itself is an extremely useful thing.