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: 
> [EMAIL PROTECTED]
>  
> [mailto:[EMAIL PROTECTED]
labs.org] On Behalf Of Robert Woodworth
> Sent: Thursday, September 06, 2007 11:33 AM
> To: [email protected]
> 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
> [email protected]
> https://ozlabs.org/mailman/listinfo/linuxppc-embedded
> 
> 

_______________________________________________
Linuxppc-embedded mailing list
[email protected]
https://ozlabs.org/mailman/listinfo/linuxppc-embedded

Reply via email to