Re: FreeRTOS port for STM32F4
As already said FreeRTOS run on any Cortex-M board. However, to compile cleanly, you may have to customize a few files, and especially the FreeRTOSConfig.h file, to fit your needs.
We plan to offer various FreeRTOS support features in the IDE in the future, including a configuration file editor, so stay tuned: it will be announced in the Announcment forum when available.
Bernard