Add GDB pretty-printers

This commit is contained in:
Bruno BELANYI 2022-07-15 23:52:16 +02:00
parent d8f4057a8c
commit 1c78574882
2 changed files with 77 additions and 0 deletions

2
.gdbinit Normal file
View file

@ -0,0 +1,2 @@
# Register pretty-printers
source utils/gdb/seer_pretty_printers.py