PetaLinux supports debugging Zynq® UltraScale+™ MPSoC and Versal® 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).