Subject: Kernel Debug on Virtex4-FX

From: Robert Woodworth <[email-masked]>
Date: Thu, 06 Sep 2007 12:32:31 -0600

Is it possible to debug the kernel via Xilinx JTAG Platform USB cable?

If so, how?
I can debug through the embedded-config.c and boot loader, but once the
kernel boots, (VM on) I cannot debug anymore.  

Or do I have to use kgdb through serial? 

Rob.