The STM32F4 board is based on the ARM Cortex-M4 microcontroller. The amount of memory available in this board does not justify the use of a small RTOS as M2OS, however we have decided to port M2OS to this board to explore its implementation on ARM microcontrollers.
More details in the “M2OS in STM32F4 User’s Guide”: