Debugging the Linux Kernel with Sourcery CodeBench and Mentor Embedded Sourcery Probe

Version 2

    This How-to Guide provides detailed step-by-step introductions to build and debug the Linux® kernel with Sourcery™ CodeBench  Professional and a Mentor Embedded Sourcery probe device - using a  PandaBoard development board equipped with an OMAP 4430 processor as the  target hardware. This paper demonstrates how to use features of the  Sourcery CodeBench IDE to simplify the processes of configuring the  target board, building the kernel, navigating around the kernel sources,  and controlling the Sourcery probe debugger.