引用此页

来自百问网嵌入式Linux wiki

Debugging the Linux kernel using the GDB的参考详情