This section discusses debugging issues related to the interaction of the host
code and the kernels. Problems with these interactions manifest as issues such as
machine hangs or application hangs. Although the GDB debug environment might help with
isolating the errors in some cases (xprint), such as
hangs associated with specific kernels, these issues are best debugged using the dmesg and xbutil commands
as shown here.
If the process of hardware debugging does not resolve the problem, it is necessary to perform hardware debugging using the ChipScope feature.