I’m currently attempting to setup tools to enable me to debug a Linux kernel module on an imx513 based target. Has anyone successfully achieved this using either a jtag based hardware solution or by using KGDB? I am aware there is an issue with KGDB and the lack of poll routines in the imx serial code but have as yet been unable to resolve this problem using the patch posted on imxdev.org. Ideally I would prefer to connect to the jtag hardware from an x86 Linux host running an Eclipse IDE via the GDB mechanism. Would anyone care to share their experiences?