Add GDB pretty-printers

This commit is contained in:
Bruno BELANYI 2022-07-15 23:52:16 +02:00
parent 41903be143
commit fdfc1fcf63
2 changed files with 80 additions and 0 deletions

2
.gdbinit Normal file
View file

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