I've now created a few startup files for the STM32F4xx microcontrollers. You can grab them here ... http://d.gpio.dk/cgi-bin/gitweb.cgi ... Unfortunately I have no 'read-only' checkout on my git-server, but I'll be happy to make a tar.bz2 archive upon request.