A collection of information helpful to getting started with STM32F4 Development on Linux