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