Example projects for ChibiOS using STM32F4