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