gdb helper for FreeBSD kernel
It seems that John Baldwin has published a debugging helper script for gdb, which is interesting to have a look at:
http://people.freebsd.org/~jhb/gdb.6
Maybe we can extend it to have some VM inspection function as well? :-)