Preparing Petalinux Kernels for Debugging with VisualKernel

This tutorial shows how to prepare a kernel built with the Petalinux tools for importing it into VisualKernel and creating