An embedded real-time multi-task OS for STM32F4 discovery board