- Add a gdb helper function which can be used to easily print VNET variables from kgdb. See the docstring for some usage hints. - Introduce a little module of useful python functions. - Install a kernel-gdb.py in /usr/lib/debug/boot/kernel. This sources all of our commands and functions so that they're automatically available.
I'm open to other ways of organizing these modules. It'd also be nice
to have a list of all the custom functions and commands we have, but I'm
not sure yet how best to go about that.