20170530
1. mbed os
https://forums.mbed.com/t/try-mbed-os-on-stm32f4discovery-board/856
https://github.com/ARMmbed/mbed-os
https://docs.mbed.com/docs/mbed-os-api-reference/en/latest/APIs/tasks/rtos/
2. 官方文档
http://www.st.com/content/st_com/en/products/evaluation-tools/product-evaluation-tools/mcu-eval-tools/stm32-mcu-eval-tools/stm32-mcu-discovery-kits/stm32f4discovery.html