From d41dd6a4c7ac4d6ee58ec50302b2168bf113a553 Mon Sep 17 00:00:00 2001
From: Jorge Aparicio <jorge@japaric.io>
Date: Sat, 25 Nov 2017 01:10:46 +0100
Subject: [PATCH] gdbinit: print demangled symbols by default

this change turns this:

``` console
(gdb) x/4 0x200003f0
0x200003f0 <_ZN3app2XS17h4b49405669958fd2E+1008>:       0x20000400      0x080004f5      0x00000000      0x00000001
```

into this:

``` console
(gdb) x/4 0x200003f0
0x200003f0 <app::XS+1008>:      0x20000400      0x080004f5      0x00000000      0x00000001
```
---
 .gdbinit | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.gdbinit b/.gdbinit
index 098ff6f..f2bf090 100644
--- a/.gdbinit
+++ b/.gdbinit
@@ -1,5 +1,8 @@
 target remote :3333
 
+# print demangled symbols by default
+set print asm-demangle on
+
 monitor arm semihosting enable
 
 # # send captured ITM to the file itm.fifo