Hi Christian
one can look at AN4553 Using Open Source Debugging Tools for Linux on i.MX Processors
http://cache.nxp.com/files/32bit/doc/app_note/AN4553.pdf
and sect.6.3. Debug Linux kernel code AN5229
ARM DS-5 Development Studio Debug i.MX6UL-EVK
http://cache.nxp.com/files/32bit/doc/app_note/AN5229.pdf
Best regards
igor
-----------------------------------------------------------------------------------------------------------------------
Note: If this post answers your question, please click the Correct Answer button. Thank you!
-----------------------------------------------------------------------------------------------------------------------