STM32F4XX using GPIO on RTOS open LED