FreeRTOS support for STM32H7 boards?

I plan to use this STM32H5 board https:/STM32H750VBTX/docs.platformio.org/en/latest/boards/ststm32/weact_mini_h750vbtx.htm and according to the docs, platformio supports these three frameworks for that board:

  • Arduino
  • CMSIS
  • STM32 cube.

Do these framework support FreeRTOS, with task-aware hardware debugging and such?