Tools for debugging and profiling ARM Cortex-M devices as found on the PX4 Autopilot FMU boards - View it on GitHub