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