libopencm3/libopencm3 — pull request #96 by softsr (2013-02-20 23:06:47+00:00)
Title: Added 12MHz resonator support for f4; Krooz STM32F4 bootloader example added

I've changed however the float support to soft float, so it would be compatible with the current Paparazzi ppa version.