for STM32F4 Discovery workspace