rumprun gdbscripts

  • From: Antti Kantee <pooka@xxxxxx>
  • To: rumpkernel-users@xxxxxxxxxxxxx
  • Date: Wed, 17 Jun 2015 15:57:43 +0000

Hi,

I got tired of manually typing gdb commands to print the logs of a rumprun guest, so I added a gdbscripts directory to the repo and a bmk_dmesg script in there.

To use (conveniently), put the following into your .gdbinit:

directory /path/to/rumprun/gdbscripts

Then you can run the script as

gdb -x bmk_dmesg binary

It assumes that the gdb server is at :1234. I'm not sure how to pass that parameter more intelligently apart from hardcoding it.

Add more scripts if you need them.

- antti

Other related posts:

  • » rumprun gdbscripts - Antti Kantee