Example codes for STM32F4Discovery board running ChibiOS