18.3.3. Debugging Linux kernels using DS-5

To debug a Linux kernel module, you can use a debug hardware agent such as DSTREAM connected between the host workstation and the running target. To be able to debug the kernel at source level, you need to load the vmlinux file containing the debug symbols into the debugger.

Figure 18.1. Debugging a kernel using DS-5

Debugging a kernel using DS-5

Copyright © 2015 ARM. All rights reserved.ARM DEN0024A