Hello, I am new for Linux kernel. I need some tools to do the kernel debug. Can anyone tell me if I can use GDB to do kernel debug? How? If not, could anyone recommend a kernel debugger for me? Thank you in advance, Ya