Posted on July 19, 2012 at 14:27http://www.st.com/internet/mcu/product/252140.jsp
In that link,you click on Design Support Tab and download Stm32f407vg firmware.
In that firmware,you will find on:
stm32f4_dsp_stdperiph_lib\STM32F4xx_DSP_StdPeriph_Lib_V1.0.1\Utilities\STM32_EVAL\STM3240_41_G_EVAL.