This section describes how to debug the Linux Kernel inside QEMU using the GNU debugger (GDB). This function is only tested with AMD Zynq™ 7000 devices. For more information, see Vitis Unified Software Platform Documentation: Embedded Software Development (UG1400).