Kernel Debug on Virtex4-FX

[Stephen Neuendorffer]

It believe it should work fine:
You just need to set breakpoints in the kernel proper 
using virtual memory addresses.
I've never actually tried tracing through the enabling of the MMU,
however...

Steve

> -----Original Message-----
> From: 
> linuxppc-embedded-bounces+stephen=neuendorffer.name at ozlabs.org
>  
> [mailto:linuxppc-embedded-bounces+stephen=neuendorffer.name at oz
labs.org] On Behalf Of Robert Woodworth
> Sent: Thursday, September 06, 2007 11:33 AM
> To: linuxppc-embedded at ozlabs.org
> Subject: Kernel Debug on Virtex4-FX
> 
> 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.
> 
> 
> 
> _______________________________________________
> Linuxppc-embedded mailing list
> Linuxppc-embedded at ozlabs.org
> https://ozlabs.org/mailman/listinfo/linuxppc-embedded
> 
>