FreeRTOS works on STM32F4 Discovery
Added in MDK project for FreeRTOS