How do you debug the kernel on an ML403?

I am using a Xilinx ML403 board with the Parallel IV JTAG cable. I have been able to use XMD and the Insight front end for GDB to debug both U-Boot and the uncompressed portion of the zImage.elf file. However, I cannot set breakpoints in kernel code. Can XMD and the Parallel IV JTAG cable be used to debug kernel code? How do you do that?

Thanks,
Frank

Set a breakpoint at the end of the decompression stage of what you call the uncompressed portion of the zImage.elf file, then single step your way past the transition to virtual mappings, reload your symbols from the vmlinux file and you're set to go. Tedious but that forces you to think about each step much harder rather than to indulge in trial and error.

-michael