Kernel debugger

From: Madhavi (
Date: Tue Jan 21 2003 - 01:17:23 EST


I am currently testing a device driver on linux-2.4.19. This is
implemented as a loadable kernel module.

# Could anyone suggest a good debugger that can be used to debug kernel

# When I tried using gdb with vmlinux and /proc/kcore, I am getting a
  message saying that no debug symbols are found. How do I enable debug
  symbols for linux kernel image? Kernel Debug is already enabled. Is
  there some other configuration that needs to be there?

Thanks in advance.


To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to
More majordomo info at
Please read the FAQ at

This archive was generated by hypermail 2b29 : Thu Jan 23 2003 - 22:00:25 EST