Just found this excellent guide on how to use Tracealyzer on a Avnet MiniZed board — which uses @Xilinx Zynq 7Z007S that combines an ARM A9 core and a 28nm Xilinx PL — to perform snapshot debugging of your FreeRTOS applications. It’s very complete and definitely worth a read.