Using STWorkbench with STLinux Debugging an STLinux kernel

Overview

This describes how to debug the kernel using the ST40 JTAG Kernel Debugger. This section reuses the kernel and launch configuration from Building an STLinux kernel and Booting an STLinux kernel, and should use the same STWorkbench workspace.

Debugging the kernel

1. Ensure the HTI used to boot the board is not already in use.

2. Select Run > Debug. The Create, manage and run configurations dialog is displayed.

3. Select the Boot STb7100ref launch configuration.

4. Click Debug. The kernel boots and a debug session is attached.

   Note: this may take up to a minute.
   On slower systems, you may need to increase the debugger timeouts in Window > Preferences > C/C++ > Debug > GDB/MI.

5. In the Debug view, select ST40 Linux GDB Debugger.

6. Click Suspend. The kernel stops at a breakpoint.

The kernel can now be debugged like any other C/C++ application. For more information see the generic C/C++ Development Guide.