Debugging The Linux Kernel Using Gdb
Debugging arm linux kernels using gdb
The majority of day to day kernel debugging is done using the famous printk and other related techniques. One reason for this can probably be found in the roots of the Linux kernel (i386) and the tools available to debug those. on the Embedded side we are better served with hardware assisted tools to debug software.