Makefiles for building the SafeRTOS STM32F4-Discovery demo using linaro's arm-none-eabi gcc toolchain