STM32F4-Discovery board template for the STM32F4 discovery board; however, it has the hardware FPU support edited out, because I have yet to get a hardware FPU to compile or work...
This is just a temporary patch until I can get an arm toolchain that will let me use the hardware FPU.