PetaLinux supports debugging Zynq® UltraScale+™ MPSoC user applications with GDB. This section describes the basic debugging procedure. For more information, refer to Vitis Unified Software Platform Documentation: Embedded Software Development (UG1400).