Can you run an RTOS on the STM32 MPU family of microprocessors?

[TSpri.1]

I am teaching a course in real-time embedded systems and in the past have used the STM32F4 MCUs running FreeRTOS, but would like to move to a microprocessor, specifially an STM32 MPU starter kit for students. So, does the STM32 MPUs support for a Real-time OS such as FreeRTOS. I see where the STM32MPU starters already provide embedded Linux but trying to find out if we could run FreeRTOS instead without too much difficulty, since it will be the students who will be configuring their own boards.

Any tips/hints would be greatly appreciated.

[Tesla DeLorean]

ST really isn't providing any resources to run other OS's on the MPU

https://community.st.com/s/question/0D50X0000BL8fA2SQJ/how-to-be-able-to-use-the-a7-cores-without-linux-on-a-stm32mp157-

https://community.st.com/s/question/0D53W00000e07WBSAY/usage-of-stm32mp1xx-without-linux

Aim lower, perhaps one of the 280, 480 or 550 MHz H7 series parts.