Embedded real-time multi-task OS for STM32F4 discovery board (test on STM32F407VG).
Development environment: Windows 7 x86_64
IDE: CoIDE http://coocox.org/CooCox_CoIDE.htm
Compiler: GNU Tools for ARM Embedded Processors https://launchpad.net/gcc-arm-embedded/+download
Flash Programmer: CoFlash http://coocox.org/CoFlash_Programmer.htm