This paper provides a detailed, step-by-step introduction to building and debugging 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.

Note: By clicking on the above link, this paper will be emailed to your EE Times log-in address by Mentor Graphics.