STM32F4 Project Repository
Code development on a Linux platform using texane/st-link (from github). 
Experimental code: just playing with the STM32F4.