Beginning STM32: Developing with FreeRTOS, libopencm3 and GCC