gdbmods is a wrapper for gdb which adds symbol information from loaded modules in the running kernel. WWW: https://people.freebsd.org/~gallatin/gdbmods