STM32F4 platform repo