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.