Subject: RE: Kernel Debug on Virtex4-FX

From: "Stephen Neuendorffer" <[email-masked]>
Date: Thu, 6 Sep 2007 11:37:27 -0700

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

Steve

> -----Original Message-----
> From:=20
> linuxppc-embedded-bounces+stephen=[email-masked]
> =20
> [mailto:linuxppc-embedded-bounces+stephen=3Dneuendorffer.name@oz
labs.org] On Behalf Of Robert Woodworth
> Sent: Thursday, September 06, 2007 11:33 AM
> To: [email-masked]
> Subject: Kernel Debug on Virtex4-FX
>=20
> Is it possible to debug the kernel via Xilinx JTAG Platform USB cable?
>=20
> If so, how?
> I can debug through the embedded-config.c and boot loader,=20
> but once the
> kernel boots, (VM on) I cannot debug anymore. =20
>=20
>=20
> Or do I have to use kgdb through serial?=20
>=20
>=20
>=20
>=20
> Rob.
>=20
>=20
>=20
> _______________________________________________
> Linuxppc-embedded mailing list
> [email-masked]
> https://ozlabs.org/mailman/listinfo/linuxppc-embedded
>=20
>=20