I was surprised to not find a CooCox project that had FreeRTOS running out the box for the STM32F4, so I have uploaded this so that one can quickly test out FreeRTOS.