Additional tools for libopencm3