How do you debug the kernel on an ML403?

[Frank D Lombardo]

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