|Non-Confidential||PDF version||ARM DUI0446Z|
|Home > Debugging Embedded Systems > About OS awareness > About debugging a Linux kernel|
DS-5 supports source level debugging of a Linux kernel. The Linux kernel (and associated device drivers) can be debugged in the same way as a standard ELF format executable. For example, you can set breakpoints in the kernel code, step through the source, inspect the call stack, and watch variables.
__user) that are not currently mapped in cannot be read by the debugger.
To debug the kernel:
Enables the kernel debug options.
Includes full debugging information when compiling the kernel.
Disables the performance events subsystem. Some implementations of the performance events subsystem internally make use of hardware breakpoints, disrupting the use of hardware breakpoints set by the debugger. It is recommended to disable this option if you observe the debugger failing to hit hardware breakpoints or failing to report kernel module load and unload events.
Compiling the kernel source generates a Linux kernel image and symbol files which contain debug information.