Porting FreeRTOS on STM32F4-Discovery using GCC on linux - View it on GitHub