From eb3f7b8726043c932449be7be45da6ccd45fc19b Mon Sep 17 00:00:00 2001
From: Dmytro Meleshko <dmytro.meleshko@gmail.com>
Date: Wed, 2 Dec 2020 02:06:27 +0200
Subject: [PATCH] [misc] add some GDB configs

---
 misc/gdbinit | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100644 misc/gdbinit

diff --git a/misc/gdbinit b/misc/gdbinit
new file mode 100644
index 0000000..2818e64
--- /dev/null
+++ b/misc/gdbinit
@@ -0,0 +1,8 @@
+set disassembly-flavor intel
+set print asm-demangle on
+
+python
+import os
+if 'GDB_OUTPUT_TTY' in os.environ:
+    gdb.execute('tty ' + os.environ['GDB_OUTPUT_TTY'])
+end